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 (section)

RawAction [in action]RawAction.ActsSetop [in action]

RawAction.Reindex [in action]

RawGroupAction [in action]

Reflect [in ssrbool]

ReflectConnectives [in ssrbool]

ReflectCore [in ssrbool]

ReflectNegCore [in ssrbool]

ReflectProp [in morphism]

ReflectProp.Defs [in morphism]

ReflectProp.Defs.MorphicProps [in morphism]

ReflectProp.Main [in morphism]

RelAdjunction [in fingraph]

RelationProperties [in ssrbool]

Repr [in fingroup]

Restrict [in alt]

Restrict [in action]

RestrictActionTheory [in action]

RestrictedMorphism [in morphism]

RestrictedMorphism.Props [in morphism]

RestrictPerm [in action]

Resultant [in mxpoly]

Rev [in seq]

Ring [in poly]

RingRepr [in mxrepresentation]

RingRepr.ChangeGroup [in mxrepresentation]

RingRepr.ChangeGroup.SameGroup [in mxrepresentation]

RingRepr.ChangeGroup.SameGroup.Stabiliser [in mxrepresentation]

RingRepr.ChangeGroup.SubGroup [in mxrepresentation]

RingRepr.ChangeGroup.SubGroup.Stabiliser [in mxrepresentation]

RingRepr.Conjugate [in mxrepresentation]

RingRepr.Morphim [in mxrepresentation]

RingRepr.Morphim.Stabiliser [in mxrepresentation]

RingRepr.Morphpre [in mxrepresentation]

RingRepr.Morphpre.Stabiliser [in mxrepresentation]

RingRepr.OneRepresentation [in mxrepresentation]

RingRepr.OneRepresentation.CentHom [in mxrepresentation]

RingRepr.OneRepresentation.Stabiliser [in mxrepresentation]

RingRepr.Proper [in mxrepresentation]

RingRepr.Quotient [in mxrepresentation]

RingRepr.Quotient.SubQuotient [in mxrepresentation]

RingRepr.Regular [in mxrepresentation]

RingRepr.Regular.GringMx [in mxrepresentation]

RingRepr.Regular.GringOp [in mxrepresentation]

RotCompLemmas [in seq]

RotrLemmas [in seq]

RowPoly [in mxpoly]

RowSpaceTheory [in mxalgebra]

RowSpaceTheory.AddsmxSub [in mxalgebra]

RowSpaceTheory.BinaryDirect [in mxalgebra]

RowSpaceTheory.Defs [in mxalgebra]

RowSpaceTheory.Eigenspace [in mxalgebra]

RowSpaceTheory.LtmxIdentities [in mxalgebra]

RowSpaceTheory.NaryDirect [in mxalgebra]

RowSpaceTheory.SubDaddsmx [in mxalgebra]

RowSpaceTheory.SubDsumsmx [in mxalgebra]

RowSpaceTheory.SumExpr [in mxalgebra]

RowSpaceTheory.SumExpr.Binary [in mxalgebra]

RowSpaceTheory.SumExpr.Nary [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) |