G (Abbreviations)
g [abbrev, in mathcomp.classical.functions]
ge0_integralM [abbrev, in mathcomp.analysis.lebesgue_integral]
ge0_integralM_EFin [abbrev, in mathcomp.analysis.lebesgue_integral]
gee [abbrev, in mathcomp.analysis.constructive_ereal]
ger_cvg_pinfty [abbrev, in mathcomp.analysis.sequences]
get [abbrev, in mathcomp.classical.classical_sets]
gl [abbrev, in mathcomp.classical.functions]
gl [abbrev, in mathcomp.classical.functions]
gt0_ler_powR [abbrev, in mathcomp.analysis.exp]
gte [abbrev, in mathcomp.analysis.constructive_ereal]