Top

'S' (Abbreviations)

FilesABCDEFGHIJKLMNOPQRSTUVWXYZ_*
DefinitionsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
LemmasABCDEFGHIJKLMNOPQRSTUVWXYZ_*
AbbreviationsABCDEFGHIJKLMNOPQRSTUVWXYZ_*
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_*

S (Abbreviations)

S [abbrev, in mathcomp.analysis.topology]
S [abbrev, in mathcomp.analysis.topology]
S [abbrev, in mathcomp.analysis.topology]
selfPbij [abbrev, in mathcomp.classical.functions]
setIv [abbrev, in mathcomp.classical.classical_sets]
SetRing.Rmu [abbrev, in mathcomp.analysis.measure]
SetRing.rT [abbrev, in mathcomp.analysis.measure]
setTP [abbrev, in mathcomp.classical.classical_sets]
setvI [abbrev, in mathcomp.classical.classical_sets]
sfinite_measure_subdef [abbrev, in mathcomp.analysis.measure]
sfun [abbrev, in mathcomp.analysis.lebesgue_integral]
Signed.Exports.num [abbrev, in mathcomp.analysis.signed]
Signed.spec [abbrev, in mathcomp.analysis.signed]
skew [abbrev, in mathcomp.analysis.forms]
split [abbrev, in mathcomp.classical.functions]
split [abbrev, in mathcomp.classical.functions]
squeeze [abbrev, in mathcomp.analysis.sequences]
sT [abbrev, in mathcomp.analysis.signed]
sT [abbrev, in mathcomp.analysis.signed]
sT [abbrev, in mathcomp.analysis.itv]
sT [abbrev, in mathcomp.analysis.signed]
sup_open [abbrev, in mathcomp.analysis.function_spaces]
symmetric_form [abbrev, in mathcomp.analysis.forms]