Top

'U' (Abbreviations)

FilesABCDEFGHIJKLMNOPQRSTUVWXYZ_*
DefinitionsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
LemmasABCDEFGHIJKLMNOPQRSTUVWXYZ_*
AbbreviationsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_*

U (Abbreviations)

unify_itv [abbrev, in mathcomp.analysis.itv]
unify_nz [abbrev, in mathcomp.analysis.signed]
unify_r [abbrev, in mathcomp.analysis.signed]