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

## G (abbreviation)

G [in mathcomp.character.inertia]G [in mathcomp.character.classfun]

G [in mathcomp.character.classfun]

G [in mathcomp.character.classfun]

g [in mathcomp.character.character]

GaussE [in mathcomp.algebra.mxalgebra]

gH [in mathcomp.fingroup.gproduct]

gK [in mathcomp.fingroup.gproduct]

gof [in mathcomp.fingroup.morphism]

GRing.AdditiveExports.Additive.apply [in mathcomp.algebra.ssralg]

GRing.ClosedExports.addr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.divalg_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.divring_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.divr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.invr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.linear_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.mulr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.oppr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.scaler_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.sdivr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.semiring_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.smulr_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.subalg_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.submod_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.subring_closed [in mathcomp.algebra.ssralg]

GRing.ClosedExports.zmod_closed [in mathcomp.algebra.ssralg]

GRing.False [in mathcomp.algebra.ssralg]

GRing.fE [in mathcomp.algebra.ssralg]

GRing.in_alg [in mathcomp.algebra.ssralg]

GRing.in_alg_loc [in mathcomp.algebra.ssralg]

GRing.LinearExports.linear [in mathcomp.algebra.ssralg]

GRing.LinearExports.Linear.apply [in mathcomp.algebra.ssralg]

GRing.LinearExports.Linear.mapUV [in mathcomp.algebra.ssralg]

GRing.LinearExports.scalable [in mathcomp.algebra.ssralg]

GRing.LinearExports.scalar [in mathcomp.algebra.ssralg]

GRing.LRMorphismExports.LRMorphism.apply [in mathcomp.algebra.ssralg]

GRing.null_fun [in mathcomp.algebra.ssralg]

GRing.Scale.s_op [in mathcomp.algebra.ssralg]

GRing.sign [in mathcomp.algebra.ssralg]

GRing.Theory.in_alg [in mathcomp.algebra.ssralg]

GRing.Theory.null_fun [in mathcomp.algebra.ssralg]

GRing.Theory.rmorphX [in mathcomp.algebra.ssralg]

GRing.True [in mathcomp.algebra.ssralg]

GRing.val [in mathcomp.algebra.ssralg]

GRing.val [in mathcomp.algebra.ssralg]

GRing.val [in mathcomp.algebra.ssralg]

GRing.val [in mathcomp.algebra.ssralg]

GRing.ZmodExports.ZmodMixin [in mathcomp.algebra.ssralg]

groupT [in mathcomp.fingroup.fingroup]

groupT [in mathcomp.solvable.gseries]

gsort [in mathcomp.fingroup.fingroup]

gT [in mathcomp.fingroup.action]

gTg [in mathcomp.solvable.jordanholder]

gtype [in mathcomp.solvable.extraspecial]

G_ [in mathcomp.solvable.center]

G' [in mathcomp.solvable.hall]

G1 [in mathcomp.character.classfun]

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