Top

'F' (Abbreviations)

FilesABCDEFGHIJKLMNOPQRSTUVWXYZ_*
DefinitionsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
LemmasABCDEFGHIJKLMNOPQRSTUVWXYZ_*
AbbreviationsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_*

F (Abbreviations)

fimfun [abbrev, in mathcomp.classical.cardinality]
full_fsbigID [abbrev, in mathcomp.classical.fsbigop]
funpPinj [abbrev, in mathcomp.classical.functions]