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

## L (variable)

Lagrange.gT [in mathcomp.fingroup.fingroup]LfunAlgebra.R [in mathcomp.algebra.vector]

LfunAlgebra.vT [in mathcomp.algebra.vector]

LfunAlgebra.vT_proper [in mathcomp.algebra.vector]

LfunDefs.R [in mathcomp.algebra.vector]

LfunVectType.aT [in mathcomp.algebra.vector]

LfunVectType.R [in mathcomp.algebra.vector]

LfunVectType.rT [in mathcomp.algebra.vector]

LfunVspaceDefs.K [in mathcomp.algebra.vector]

LfunZmodType.aT [in mathcomp.algebra.vector]

LfunZmodType.R [in mathcomp.algebra.vector]

LfunZmodType.rT [in mathcomp.algebra.vector]

LiftPerm.n [in mathcomp.fingroup.perm]

LinAut.f [in mathcomp.algebra.vector]

LinAut.K [in mathcomp.algebra.vector]

LinAut.kerf0 [in mathcomp.algebra.vector]

LinAut.vT [in mathcomp.algebra.vector]

LinearImageComp.aT [in mathcomp.algebra.vector]

LinearImageComp.K [in mathcomp.algebra.vector]

LinearImageComp.rT [in mathcomp.algebra.vector]

LinearImageComp.vT [in mathcomp.algebra.vector]

LinearImage.aT [in mathcomp.algebra.vector]

LinearImage.K [in mathcomp.algebra.vector]

LinearImage.rT [in mathcomp.algebra.vector]

LinearPreimage.aT [in mathcomp.algebra.vector]

LinearPreimage.K [in mathcomp.algebra.vector]

LinearPreimage.rT [in mathcomp.algebra.vector]

Linear.G [in mathcomp.character.character]

Linear.gT [in mathcomp.character.character]

Linear.OneChar.CFxi [in mathcomp.character.character]

Linear.OneChar.xi [in mathcomp.character.character]

Linear.OneChar.xiMV [in mathcomp.character.character]

LMod.R [in mathcomp.algebra.ssrint]

LMod.V [in mathcomp.algebra.ssrint]

LocalGlobal.allQ1 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.allQ1l [in mathcomp.ssreflect.ssrbool]

LocalGlobal.allQ2 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.D1 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.D2 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.f [in mathcomp.ssreflect.ssrbool]

LocalGlobal.h [in mathcomp.ssreflect.ssrbool]

LocalGlobal.Q1 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.Q1l [in mathcomp.ssreflect.ssrbool]

LocalGlobal.Q2 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.T1 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.T2 [in mathcomp.ssreflect.ssrbool]

LocalGlobal.T3 [in mathcomp.ssreflect.ssrbool]

LowerCentral.gT [in mathcomp.solvable.nilpotent]

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