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 _ (5434 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 _ (89 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 _ (58 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 _ (2752 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 _ (233 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 _ (145 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 _ (139 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 _ (50 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 _ (1267 entries)
Moduleid 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 _ (47 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 _ (24 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 _ (609 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 _ (21 entries)

L (definition)

last [in seq]
lcmn [in div]
lcmn_addoid [in bigops]
lcmn_comoid [in bigops]
lcmn_monoid [in bigops]
lead_coef [in poly]
lead_coefT [in closedfields]
left_commutative [in ssrfun]
left_distributive [in ssrfun]
left_id [in ssrfun]
left_injective [in ssrfun]
left_inverse [in ssrfun]
left_loop [in ssrfun]
left_transitive [in ssrbool]
left_zero [in ssrfun]
leq [in ssrnat]
leqif [in ssrnat]
leq_of_leqif [in ssrnat]
lift [in closedfields]
lift [in fintype]
locked [in ssreflect]
logn [in prime]
logn_rec [in prime]
looping [in paths]
lshift [in fintype]
ltn [in ssrnat]
lt_sizeT [in closedfields]