Top

'O' (Abbreviations)

FilesABCDEFGHIJKLMNOPQRSTUVWXYZ_*
DefinitionsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
LemmasABCDEFGHIJKLMNOPQRSTUVWXYZ_*
AbbreviationsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_*

O (Abbreviations)

oapp [abbrev, in mathcomp.classical.functions]
orT [abbrev, in mathcomp.classical.functions]
oT [abbrev, in mathcomp.analysis.topology_theory.order_topology]