H (Definitions)
hahn_decomposition [def, in mathcomp.analysis.charge]
harmonic [def, in mathcomp.analysis.sequences]
harmonic_mean [def, in mathcomp.analysis.sequences]
has_inf [def, in mathcomp.classical.classical_sets]
has_lbound [def, in mathcomp.classical.classical_sets]
has_sup [def, in mathcomp.classical.classical_sets]
has_ubound [def, in mathcomp.classical.classical_sets]
hausdorff_accessible [def, in mathcomp.analysis.topology]
hausdorff_space [def, in mathcomp.analysis.topology]
HL_maximal [def, in mathcomp.analysis.lebesgue_integral]