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)

R (variable)

RawAction.ActsSetop.A [in action]
RawAction.ActsSetop.AactS [in action]
RawAction.ActsSetop.AactT [in action]
RawAction.ActsSetop.S [in action]
RawAction.ActsSetop.T [in action]
RawAction.aT [in action]
RawAction.D [in action]
RawAction.Reindex.idx [in action]
RawAction.Reindex.op [in action]
RawAction.Reindex.S [in action]
RawAction.Reindex.vT [in action]
RawAction.rT [in action]
RawAction.to [in action]
RawGroupAction.a [in action]
RawGroupAction.A [in action]
RawGroupAction.aT [in action]
RawGroupAction.B [in action]
RawGroupAction.D [in action]
RawGroupAction.Da [in action]
RawGroupAction.R [in action]
RawGroupAction.rT [in action]
RawGroupAction.S [in action]
RawGroupAction.sAD [in action]
RawGroupAction.sSR [in action]
RawGroupAction.to [in action]
ReflectConnectives.b1 [in ssrbool]
ReflectConnectives.b2 [in ssrbool]
ReflectConnectives.b3 [in ssrbool]
ReflectConnectives.b4 [in ssrbool]
ReflectConnectives.b5 [in ssrbool]
ReflectCore.b [in ssrbool]
ReflectCore.c [in ssrbool]
ReflectCore.Hb [in ssrbool]
ReflectCore.P [in ssrbool]
ReflectCore.Q [in ssrbool]
ReflectNegCore.b [in ssrbool]
ReflectNegCore.c [in ssrbool]
ReflectNegCore.Hb [in ssrbool]
ReflectNegCore.P [in ssrbool]
ReflectNegCore.Q [in ssrbool]
ReflectProp.aT [in morphism]
ReflectProp.Defs.A [in morphism]
ReflectProp.Defs.B [in morphism]
ReflectProp.Defs.MorphicProps.f [in morphism]
ReflectProp.f [in morphism]
ReflectProp.G [in morphism]
ReflectProp.Main.G [in morphism]
ReflectProp.Main.H [in morphism]
ReflectProp.rT [in morphism]
Reflect.b [in ssrbool]
Reflect.b' [in ssrbool]
Reflect.c [in ssrbool]
Reflect.P [in ssrbool]
Reflect.Pb [in ssrbool]
Reflect.Pb' [in ssrbool]
Reflect.Q [in ssrbool]
RelAdjunction.a [in fingraph]
RelAdjunction.e [in fingraph]
RelAdjunction.e' [in fingraph]
RelAdjunction.h [in fingraph]
RelAdjunction.Ha [in fingraph]
RelAdjunction.He [in fingraph]
RelAdjunction.He' [in fingraph]
RelAdjunction.T [in fingraph]
RelAdjunction.T' [in fingraph]
RelationProperties.R [in ssrbool]
RelationProperties.T [in ssrbool]
Repr.gT [in fingroup]
RestrictActionTheory.A [in action]
RestrictActionTheory.aT [in action]
RestrictActionTheory.D [in action]
RestrictActionTheory.rT [in action]
RestrictActionTheory.sAD [in action]
RestrictActionTheory.to [in action]
RestrictedMorphism.A [in morphism]
RestrictedMorphism.aT [in morphism]
RestrictedMorphism.D [in morphism]
RestrictedMorphism.Props.f [in morphism]
RestrictedMorphism.Props.sAD [in morphism]
RestrictedMorphism.rT [in morphism]
RestrictPerm.S [in action]
RestrictPerm.T [in action]
Restrict.A [in action]
Restrict.aT [in action]
Restrict.card_T [in alt]
Restrict.D [in action]
Restrict.rT [in action]
Restrict.sAD [in action]
Restrict.T [in alt]
Restrict.to [in action]
Restrict.x [in alt]
Resultant.F [in mxpoly]
Resultant.p [in mxpoly]
Resultant.q [in mxpoly]
Rev.T [in seq]
RingRepr.ChangeGroup.G [in mxrepresentation]
RingRepr.ChangeGroup.gT [in mxrepresentation]
RingRepr.ChangeGroup.H [in mxrepresentation]
RingRepr.ChangeGroup.n [in mxrepresentation]
RingRepr.ChangeGroup.rG [in mxrepresentation]
RingRepr.ChangeGroup.SameGroup.eqGH [in mxrepresentation]
RingRepr.ChangeGroup.SameGroup.Stabiliser.m [in mxrepresentation]
RingRepr.ChangeGroup.SameGroup.Stabiliser.U [in mxrepresentation]
RingRepr.ChangeGroup.SubGroup.sHG [in mxrepresentation]
RingRepr.ChangeGroup.SubGroup.Stabiliser.m [in mxrepresentation]
RingRepr.ChangeGroup.SubGroup.Stabiliser.U [in mxrepresentation]
RingRepr.Conjugate.B [in mxrepresentation]
RingRepr.Conjugate.G [in mxrepresentation]
RingRepr.Conjugate.gT [in mxrepresentation]
RingRepr.Conjugate.n [in mxrepresentation]
RingRepr.Conjugate.rG [in mxrepresentation]
RingRepr.Conjugate.uB [in mxrepresentation]
RingRepr.Morphim.aT [in mxrepresentation]
RingRepr.Morphim.D [in mxrepresentation]
RingRepr.Morphim.f [in mxrepresentation]
RingRepr.Morphim.G [in mxrepresentation]
RingRepr.Morphim.n [in mxrepresentation]
RingRepr.Morphim.rGf [in mxrepresentation]
RingRepr.Morphim.rT [in mxrepresentation]
RingRepr.Morphim.sGD [in mxrepresentation]
RingRepr.Morphim.Stabiliser.m [in mxrepresentation]
RingRepr.Morphim.Stabiliser.U [in mxrepresentation]
RingRepr.Morphpre.aT [in mxrepresentation]
RingRepr.Morphpre.D [in mxrepresentation]
RingRepr.Morphpre.f [in mxrepresentation]
RingRepr.Morphpre.G [in mxrepresentation]
RingRepr.Morphpre.n [in mxrepresentation]
RingRepr.Morphpre.rG [in mxrepresentation]
RingRepr.Morphpre.rT [in mxrepresentation]
RingRepr.Morphpre.Stabiliser.m [in mxrepresentation]
RingRepr.Morphpre.Stabiliser.U [in mxrepresentation]
RingRepr.OneRepresentation.CentHom.f [in mxrepresentation]
RingRepr.OneRepresentation.G [in mxrepresentation]
RingRepr.OneRepresentation.gT [in mxrepresentation]
RingRepr.OneRepresentation.n [in mxrepresentation]
RingRepr.OneRepresentation.rG [in mxrepresentation]
RingRepr.OneRepresentation.Stabiliser.m [in mxrepresentation]
RingRepr.OneRepresentation.Stabiliser.U [in mxrepresentation]
RingRepr.Proper.G [in mxrepresentation]
RingRepr.Proper.gT [in mxrepresentation]
RingRepr.Proper.n' [in mxrepresentation]
RingRepr.Proper.rG [in mxrepresentation]
RingRepr.Quotient.G [in mxrepresentation]
RingRepr.Quotient.gT [in mxrepresentation]
RingRepr.Quotient.n [in mxrepresentation]
RingRepr.Quotient.rG [in mxrepresentation]
RingRepr.Quotient.SubQuotient.H [in mxrepresentation]
RingRepr.Quotient.SubQuotient.krH [in mxrepresentation]
RingRepr.Quotient.SubQuotient.nHG [in mxrepresentation]
RingRepr.R [in mxrepresentation]
RingRepr.Regular.G [in mxrepresentation]
RingRepr.Regular.GringMx.n [in mxrepresentation]
RingRepr.Regular.GringMx.rG [in mxrepresentation]
RingRepr.Regular.GringOp.n [in mxrepresentation]
RingRepr.Regular.GringOp.rG [in mxrepresentation]
RingRepr.Regular.gT [in mxrepresentation]
Ring.R [in poly]
RotCompLemmas.T [in seq]
RotrLemmas.n0 [in seq]
RotrLemmas.T [in seq]
RotrLemmas.T' [in seq]
RowPoly.d [in mxpoly]
RowPoly.R [in mxpoly]
RowSpaceTheory.AddsmxSub.A [in mxalgebra]
RowSpaceTheory.AddsmxSub.B [in mxalgebra]
RowSpaceTheory.AddsmxSub.m1 [in mxalgebra]
RowSpaceTheory.AddsmxSub.m2 [in mxalgebra]
RowSpaceTheory.AddsmxSub.n [in mxalgebra]
RowSpaceTheory.BinaryDirect.m1 [in mxalgebra]
RowSpaceTheory.BinaryDirect.m2 [in mxalgebra]
RowSpaceTheory.BinaryDirect.n [in mxalgebra]
RowSpaceTheory.Defs.A [in mxalgebra]
RowSpaceTheory.Defs.m [in mxalgebra]
RowSpaceTheory.Defs.n [in mxalgebra]
RowSpaceTheory.Eigenspace.g [in mxalgebra]
RowSpaceTheory.Eigenspace.n [in mxalgebra]
RowSpaceTheory.F [in mxalgebra]
RowSpaceTheory.I [in mxalgebra]
RowSpaceTheory.LtmxIdentities.A [in mxalgebra]
RowSpaceTheory.LtmxIdentities.B [in mxalgebra]
RowSpaceTheory.LtmxIdentities.m1 [in mxalgebra]
RowSpaceTheory.LtmxIdentities.m2 [in mxalgebra]
RowSpaceTheory.LtmxIdentities.n [in mxalgebra]
RowSpaceTheory.NaryDirect.n [in mxalgebra]
RowSpaceTheory.NaryDirect.P [in mxalgebra]
RowSpaceTheory.SubDaddsmx.A [in mxalgebra]
RowSpaceTheory.SubDaddsmx.B1 [in mxalgebra]
RowSpaceTheory.SubDaddsmx.B2 [in mxalgebra]
RowSpaceTheory.SubDaddsmx.m [in mxalgebra]
RowSpaceTheory.SubDaddsmx.m1 [in mxalgebra]
RowSpaceTheory.SubDaddsmx.m2 [in mxalgebra]
RowSpaceTheory.SubDaddsmx.n [in mxalgebra]
RowSpaceTheory.SubDsumsmx.A [in mxalgebra]
RowSpaceTheory.SubDsumsmx.B [in mxalgebra]
RowSpaceTheory.SubDsumsmx.m [in mxalgebra]
RowSpaceTheory.SubDsumsmx.n [in mxalgebra]
RowSpaceTheory.SubDsumsmx.P [in mxalgebra]
RowSpaceTheory.SumExpr.Binary.m1 [in mxalgebra]
RowSpaceTheory.SumExpr.Binary.m2 [in mxalgebra]
RowSpaceTheory.SumExpr.Binary.n [in mxalgebra]
RowSpaceTheory.SumExpr.Binary.S1 [in mxalgebra]
RowSpaceTheory.SumExpr.Binary.S2 [in mxalgebra]
RowSpaceTheory.SumExpr.Nary.n [in mxalgebra]
RowSpaceTheory.SumExpr.Nary.P [in mxalgebra]
RowSpaceTheory.SumExpr.Nary.S_ [in mxalgebra]



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)