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 | (69505 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 | (1943 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 | (39748 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 | (379 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 | (3958 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 | (91 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 | (13542 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 | (480 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 | (45 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 | (134 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 | (452 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 | (1344 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 | (1014 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 | (6127 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 | (248 entries) |

## R (section)

RawAction [in mathcomp.fingroup.action]RawAction.ActsSetop [in mathcomp.fingroup.action]

RawAction.Reindex [in mathcomp.fingroup.action]

RawGroupAction [in mathcomp.fingroup.action]

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]

RevPath [in mathcomp.ssreflect.path]

RingQuot [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]

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]

RowPoly [in mathcomp.algebra.mxpoly]

RowSpaceTheory [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.AddsmxSub [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.BinaryDirect [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.Defs [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.Eigenspace [in mathcomp.algebra.mxalgebra]

RowSpaceTheory.LtmxIdentities [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 | (69505 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 | (1943 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 | (39748 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 | (379 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 | (3958 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 | (91 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 | (13542 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 | (480 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 | (45 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 | (134 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 | (452 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 | (1344 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 | (1014 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 | (6127 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 | (248 entries) |