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

## A (abbreviation)

a [in mathcomp.character.integral_char]a [in mathcomp.character.integral_char]

ab_rV_P [in mathcomp.character.mxabelem]

AC [in mathcomp.ssreflect.ssrAC]

ACl [in mathcomp.ssreflect.ssrAC]

ACof [in mathcomp.ssreflect.ssrAC]

actp [in mathcomp.solvable.extraspecial]

actT [in mathcomp.fingroup.action]

AC_strategy [in mathcomp.ssreflect.ssrAC]

AC_check_pattern [in mathcomp.ssreflect.ssrAC]

Ad [in mathcomp.algebra.mxpoly]

addV [in mathcomp.algebra.vector]

aG [in mathcomp.character.mxrepresentation]

aG [in mathcomp.character.mxrepresentation]

algCF [in mathcomp.character.character]

Algebraics.Exports.algC [in mathcomp.field.algC]

Algebraics.Exports.algCeq [in mathcomp.field.algC]

Algebraics.Exports.algCfield [in mathcomp.field.algC]

Algebraics.Exports.algCnum [in mathcomp.field.algC]

Algebraics.Exports.algCnumClosedField [in mathcomp.field.algC]

Algebraics.Exports.algCnumField [in mathcomp.field.algC]

Algebraics.Exports.algCring [in mathcomp.field.algC]

Algebraics.Exports.algCuring [in mathcomp.field.algC]

Algebraics.Exports.algCzmod [in mathcomp.field.algC]

Algebraics.Exports.Creal [in mathcomp.field.algC]

Algebraics.Implementation.pQtoL [in mathcomp.field.algC]

Algebraics.Internals.algC [in mathcomp.field.algC]

Algebraics.Internals.Creal [in mathcomp.field.algC]

Algebraics.Internals.pQtoC [in mathcomp.field.algC]

Algebraics.Internals.QtoC [in mathcomp.field.algC]

Algebraics.Internals.QtoCm [in mathcomp.field.algC]

Algebraics.Internals.ZtoC [in mathcomp.field.algC]

Algebraics.Internals.ZtoQ [in mathcomp.field.algC]

allpairs_consr [in mathcomp.ssreflect.seq]

allpairs_catr [in mathcomp.ssreflect.seq]

all_comm_mx [in mathcomp.algebra.matrix]

all_comm_mx [in mathcomp.algebra.matrix]

all2rel [in mathcomp.ssreflect.seq]

And [in mathcomp.character.mxrepresentation]

arg_maxP [in mathcomp.ssreflect.fintype]

arg_minP [in mathcomp.ssreflect.fintype]

AtoB [in mathcomp.character.inertia]

A' [in mathcomp.solvable.hall]

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