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)

N (variable)

NactionDef.gT [in primitive_action]
NactionDef.n [in primitive_action]
NactionDef.sT [in primitive_action]
NactionDef.to [in primitive_action]
NatConst.A [in bigop]
NatConst.I [in bigop]
NatPreds.n [in prime]
NatPreds.pi [in prime]
NilPGroups.gT [in sylow]
NilPGroups.p [in sylow]
NilpotentProps.gT [in nilpotent]
Nilpotent.gT [in sylow]
NormalHall.gT [in pgroup]
NormalHall.pi [in pgroup]
Normaliser.gT [in fingroup]
Normaliser.norm_trans.nBA [in fingroup]
Normaliser.norm_trans.nCA [in fingroup]
Normaliser.norm_trans.A [in fingroup]
Normaliser.norm_trans.B [in fingroup]
Normaliser.norm_trans.C [in fingroup]
Normaliser.norm_trans.D [in fingroup]
Normaliser.SubAbelian.A [in fingroup]
Normaliser.SubAbelian.B [in fingroup]
Normaliser.SubAbelian.C [in fingroup]
Normaliser.SubAbelian.cAA [in fingroup]
NseqthTheory.T [in seq]
NTransitive.A [in primitive_action]
NTransitive.gT [in primitive_action]
NTransitive.n [in primitive_action]
NTransitive.S [in primitive_action]
NTransitive.sT [in primitive_action]
NTransitive.to [in primitive_action]
NTransitveProp.G [in primitive_action]
NTransitveProp.gT [in primitive_action]
NTransitveProp.S [in primitive_action]
NTransitveProp.sT [in primitive_action]
NTransitveProp.to [in primitive_action]
NTransitveProp1.G [in primitive_action]
NTransitveProp1.gT [in primitive_action]
NTransitveProp1.S [in primitive_action]
NTransitveProp1.sT [in primitive_action]
NTransitveProp1.to [in primitive_action]



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)