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 (3574 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 (293 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 (57 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 (321 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 (107 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 (444 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 (617 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 (149 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 (107 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 (83 entries)
Instance 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 (117 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 (114 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 (109 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 (987 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 (69 entries)

R (lemma)

reflexive_proper [in Corelib.Classes.CMorphisms]
Reflexive_partial_app_morphism [in Corelib.Classes.CMorphisms]
reflexive_proper_proxy [in Corelib.Classes.CMorphisms]
Reflexive_partial_app_morphism [in Corelib.Classes.Morphisms]
reflexive_reflexive_proxy [in Corelib.Classes.Morphisms]
reflexive_proper_proxy [in Corelib.Classes.Morphisms]
reflexive_proper [in Corelib.Classes.Morphisms]
rev_trans [in Corelib.ssr.ssrbool]
rewrite_relation_eq_dom [in Corelib.Classes.Morphisms]
rewrite_relation_pointwise [in Corelib.Classes.Morphisms]
rew_pair [in Corelib.Init.Datatypes]
rew_sig2 [in Corelib.Init.Specif]
rew_sigT2 [in Corelib.Init.Specif]
rew_sig [in Corelib.Init.Specif]
rew_sigT [in Corelib.Init.Specif]
rew_ex2 [in Corelib.Init.Logic]
rew_ex [in Corelib.Init.Logic]
rew_const [in Corelib.Init.Logic]
rew_compose [in Corelib.Init.Logic]
rew_swap [in Corelib.Init.Logic]
rew_map [in Corelib.Init.Logic]
rew_opp_l [in Corelib.Init.Logic]
rew_opp_r [in Corelib.Init.Logic]
rrefl [in Corelib.ssr.ssrfun]
rwP [in Corelib.ssr.ssrbool]
rwP2 [in Corelib.ssr.ssrbool]