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 | (100113 entries) |

Notation 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 | (1864 entries) |

Binder 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 | (49278 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 | (1631 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 | (6978 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 | (94 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 | (14781 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 | (75 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 | (222 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 | (131 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 | (2030 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 | (2189 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 | (1149 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 | (19126 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 | (565 entries) |

## R (section)

ratArchimedean.ratArchimedean [in mathcomp.algebra.rat]RawAction [in mathcomp.fingroup.action]

RawAction.ActsSetop [in mathcomp.fingroup.action]

RawAction.Reindex [in mathcomp.fingroup.action]

RawGroupAction [in mathcomp.fingroup.action]

RefBaseField [in mathcomp.field.fieldext]

ReflectCombinators [in mathcomp.ssreflect.ssrbool]

ReflectProp [in mathcomp.fingroup.morphism]

ReflectProp.Defs [in mathcomp.fingroup.morphism]

ReflectProp.Defs.MorphicProps [in mathcomp.fingroup.morphism]

ReflectProp.Main [in mathcomp.fingroup.morphism]

RegularVectType [in mathcomp.algebra.vector]

RelAdjunction [in mathcomp.ssreflect.fingraph]

Rem [in mathcomp.ssreflect.seq]

Repr [in mathcomp.fingroup.fingroup]

Restrict [in mathcomp.solvable.alt]

Restrict [in mathcomp.fingroup.action]

Restrict [in mathcomp.character.classfun]

Restrict [in mathcomp.character.character]

RestrictActionTheory [in mathcomp.fingroup.action]

RestrictedMorphism [in mathcomp.fingroup.morphism]

RestrictedMorphism.Props [in mathcomp.fingroup.morphism]

RestrictPerm [in mathcomp.fingroup.action]

Resultant [in mathcomp.algebra.mxpoly]

ringQuotient [in mathcomp.algebra.ring_quotient]

RingQuotient.EtaAndMixinExports.hb_instance_15 [in mathcomp.algebra.ring_quotient]

RingRepr [in mathcomp.character.mxrepresentation]

RingRepr.ChangeGroup [in mathcomp.character.mxrepresentation]

RingRepr.ChangeGroup.SameGroup [in mathcomp.character.mxrepresentation]

RingRepr.ChangeGroup.SameGroup.Stabiliser [in mathcomp.character.mxrepresentation]

RingRepr.ChangeGroup.SubGroup [in mathcomp.character.mxrepresentation]

RingRepr.ChangeGroup.SubGroup.Stabiliser [in mathcomp.character.mxrepresentation]

RingRepr.Conjugate [in mathcomp.character.mxrepresentation]

RingRepr.Morphim [in mathcomp.character.mxrepresentation]

RingRepr.Morphim.Stabiliser [in mathcomp.character.mxrepresentation]

RingRepr.Morphpre [in mathcomp.character.mxrepresentation]

RingRepr.Morphpre.Stabiliser [in mathcomp.character.mxrepresentation]

RingRepr.OneRepresentation [in mathcomp.character.mxrepresentation]

RingRepr.OneRepresentation.CentHom [in mathcomp.character.mxrepresentation]

RingRepr.OneRepresentation.Stabiliser [in mathcomp.character.mxrepresentation]

RingRepr.Proper [in mathcomp.character.mxrepresentation]

RingRepr.Quotient [in mathcomp.character.mxrepresentation]

RingRepr.Quotient.SubQuotient [in mathcomp.character.mxrepresentation]

RingRepr.Regular [in mathcomp.character.mxrepresentation]

RingRepr.Regular.GringMx [in mathcomp.character.mxrepresentation]

RingRepr.Regular.GringOp [in mathcomp.character.mxrepresentation]

RingRepr.Regular.hb_instance_6 [in mathcomp.character.mxrepresentation]

RintMod [in mathcomp.algebra.ssrint]

RotCompLemmas [in mathcomp.ssreflect.seq]

RotIndex [in mathcomp.ssreflect.seq]

RotRcons [in mathcomp.ssreflect.seq]

RotrLemmas [in mathcomp.ssreflect.seq]

RowColDiagBlockMatrix [in mathcomp.algebra.mxalgebra]

RowPoly [in mathcomp.algebra.mxpoly]

RowSpaceTheory [in mathcomp.algebra.mxalgebra]

RowSpaceTheoryDefs [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.AddsmxSub [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.BinaryDirect [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.Eigenspace [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.hb_instance_9 [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.hb_instance_1 [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.MaxRankSubMatrix [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.NaryDirect [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.SubDaddsmx [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.SubDsumsmx [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.SumExpr [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.SumExpr.Binary [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.SumExpr.Nary [in mathcomp.algebra.mxalgebra]

rpred [in mathcomp.algebra.ssrint]

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 | (100113 entries) |

Notation 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 | (1864 entries) |

Binder 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 | (49278 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 | (1631 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 | (6978 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 | (94 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 | (14781 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 | (75 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 | (222 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 | (131 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 | (2030 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 | (2189 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 | (1149 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 | (19126 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 | (565 entries) |