B (Definitions)
ball [def, in mathcomp.analysis.topology]
ball_ [def, in mathcomp.analysis.topology]
basis [def, in mathcomp.analysis.topology]
bigcap [def, in mathcomp.classical.classical_sets]
bigcap2 [def, in mathcomp.classical.classical_sets]
bigcup [def, in mathcomp.classical.classical_sets]
bigcup2 [def, in mathcomp.classical.classical_sets]
bigcup_ointsub [def, in mathcomp.analysis.normedtype]
bigmax_nnsfun [def, in mathcomp.analysis.lebesgue_integral]
bigmaxr [def, in mathcomp.analysis.Rstruct]
bigO0 [def, in mathcomp.analysis.landau]
bigO_clone [def, in mathcomp.analysis.landau]
bigO_subtype [def, in mathcomp.analysis.landau]
bigOmega_clone [def, in mathcomp.analysis.landau]
bigOmega_refl [def, in mathcomp.analysis.landau]
bigOmega_subtype [def, in mathcomp.analysis.landau]
bigTheta_clone [def, in mathcomp.analysis.landau]
bigTheta_refl [def, in mathcomp.analysis.landau]
bigTheta_subtype [def, in mathcomp.analysis.landau]
bij_of_set_bijection [def, in mathcomp.classical.functions]
bijection_of_bijective [def, in mathcomp.classical.functions]
Bilinear.additivel [def, in mathcomp.analysis.forms]
Bilinear.additiver [def, in mathcomp.analysis.forms]
Bilinear.applyr_head [def, in mathcomp.analysis.forms]
Bilinear.axiom [def, in mathcomp.analysis.forms]
Bilinear.class [def, in mathcomp.analysis.forms]
Bilinear.linearl [def, in mathcomp.analysis.forms]
Bilinear.linearr [def, in mathcomp.analysis.forms]
Bilinear.pack [def, in mathcomp.analysis.forms]
bmaxrf [def, in mathcomp.analysis.Rstruct]
bnd_simp [def, in mathcomp.classical.mathcomp_extra]
bool_discrete_filter [def, in mathcomp.analysis.topology]
bool_discrete_topology [def, in mathcomp.analysis.topology]
bool_pointedType [def, in mathcomp.classical.classical_sets]
bound_side [def, in mathcomp.classical.mathcomp_extra]
bounded_near [def, in mathcomp.analysis.normedtype]
branch_apx [def, in mathcomp.analysis.cantor]
Build_ProperFilter [def, in mathcomp.analysis.topology]