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

## L (definition)

lappE [in vector]lapp_rep [in vector]

lapp_choiceMixin [in vector]

lapp_of_fun [in vector]

lapp_zmodMixin [in vector]

lapp_rep_is_linear [in vector]

lapp_lmodMixin [in vector]

lapp_rep_linear [in vector]

lapp_lmodType [in vector]

lapp_zmodType [in vector]

lapp_choiceType [in vector]

lapp_eqType [in vector]

lapp_eqMixin [in vector]

LApp.algType [in vector]

LApp.lalgType [in vector]

LApp.revRingType [in vector]

LApp.ringMixin [in vector]

LApp.ringType [in vector]

last [in seq]

last_mod [in mxrepresentation]

lcmn [in div]

lcmn_addoid [in bigop]

lcmn_comoid [in bigop]

lcmn_monoid [in bigop]

lcn_mgFun [in nilpotent]

lcn_gFun [in nilpotent]

lcn_igFun [in nilpotent]

lcoset [in fingroup]

lcosets [in fingroup]

Ldiv [in abelian]

lead_coef [in poly]

left_injective [in ssrfun]

left_transitive [in ssrbool]

left_id [in ssrfun]

left_loop [in ssrfun]

left_inverse [in ssrfun]

left_distributive [in ssrfun]

left_mx_ideal [in mxalgebra]

left_commutative [in ssrfun]

left_zero [in ssrfun]

leq [in ssrnat]

leqif [in ssrnat]

leq_of_leqif [in ssrnat]

lift [in fintype]

lift_perm [in perm]

lift_perm_fun [in perm]

lift0_mx [in matrix]

lift0_perm [in matrix]

limg [in vector]

linearApp_subType [in vector]

linearMixin [in vector]

linearVect [in vector]

linear_irr [in mxrepresentation]

lin_mulmx [in matrix]

lin_mulmxr [in matrix]

lin_mul_row [in matrix]

lin_mul_row_linear [in matrix]

lin_mul_row_additive [in matrix]

lin_mulmx_linear [in matrix]

lin_mulmx_additive [in matrix]

lin_mulmxr_linear [in matrix]

lin_mulmxr_additive [in matrix]

lin_mx [in matrix]

lin1_mx [in matrix]

lker [in vector]

locked [in ssreflect]

logn [in prime]

logn_rec [in prime]

loop [in vector]

looping [in path]

lower_central_at_group [in nilpotent]

lower_central_at [in nilpotent]

lower_central_at_rec [in nilpotent]

lpre_img [in vector]

lreg [in poly]

lshift [in fintype]

lsubmx [in matrix]

lsubmx_linear [in matrix]

lsubmx_additive [in matrix]

ltmx [in mxalgebra]

ltn [in ssrnat]

ltqm [in extremal]

ltrq [in extremal]

LUr [in mxalgebra]

l2ev [in vector]

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