Global Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (14626 entries)
Projection Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (165 entries)
Record Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (112 entries)
Lemma Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (7292 entries)
Section Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (761 entries)
Constructor Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (250 entries)
Abbreviation Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (390 entries)
Inductive Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (84 entries)
Definition Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3144 entries)
Module Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (126 entries)
Axiom Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (28 entries)
Variable Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (2221 entries)
Library Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (53 entries)

S (abbreviation)

S [in mxrepresentation]
sdprod [in gproduct]
sdprod [in gproduct]
sdT [in gproduct]
sdval [in gproduct]
setT [in finset]
sG [in mxrepresentation]
simp [in poly]
simp [in matrix]
simp [in mxalgebra]
some [in ssrfun]
sr [in mxrepresentation]
ssimS [in mxrepresentation]
sT [in gseries]
sT [in fingroup]
sT [in nilpotent]
sT [in finset]
sT [in nilpotent]
subdom [in action]
subset_type [in fintype]
subset_def [in fintype]
succn [in ssrnat]
sval [in eqtype]
SwizzleAdd [in matrix]
SwizzleLin [in matrix]