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 | (71649 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 | (1792 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 | (46193 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 | (266 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 | (3623 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 | (14204 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 | (259 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 | (8 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 | (44 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 | (1276 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 | (682 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 | (3041 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 | (36 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.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.mapUV [in mathcomp.algebra.ssralg]

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

GRing.LinearExports.scalar [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.prodr_natmul [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.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 | (71649 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 | (1792 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 | (46193 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 | (266 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 | (3623 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 | (14204 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 | (259 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 | (8 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 | (44 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 | (1276 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 | (682 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 | (3041 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 | (36 entries) |