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 | (24947 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 | (1496 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 | (216 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 | (3586 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 | (84 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 | (11878 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 | (389 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 | (49 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 | (119 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 | (272 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 | (1128 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 | (701 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 | (4837 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 | (192 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]

Reflect [in mathcomp.ssreflect.ssrbool]

ReflectConnectives [in mathcomp.ssreflect.ssrbool]

ReflectCore [in mathcomp.ssreflect.ssrbool]

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

RelationProperties [in mathcomp.ssreflect.ssrbool]

RelationProperties.PER [in mathcomp.ssreflect.ssrbool]

Rem [in mathcomp.ssreflect.seq]

Repr [in mathcomp.fingroup.fingroup]

Restrict [in mathcomp.solvable.alt]

Restrict [in mathcomp.character.character]

Restrict [in mathcomp.fingroup.action]

Restrict [in mathcomp.character.classfun]

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]

Rev [in mathcomp.ssreflect.seq]

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]

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.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 | (24947 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 | (1496 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 | (216 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 | (3586 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 | (84 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 | (11878 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 | (389 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 | (49 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 | (119 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 | (272 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 | (1128 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 | (701 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 | (4837 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 | (192 entries) |