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 _ (204 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 _ (124 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 _ (4 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 _ (5 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 _ (61 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 _ (10 entries)

I

identity [definition, in Functions]
identity_mon [lemma, in Monotonic]
incl [definition, in Relations]
incl_evolve [lemma, in Settings]
incl_r [definition, in Reductions]
incl_refl [lemma, in Relations]
incl_trans [lemma, in Relations]
increasing [definition, in Functions]
inv_comp [lemma, in Relations]
inv_inv [lemma, in Relations]
inv_plus [lemma, in Relations]
inv_star [lemma, in Relations]
inv_union [lemma, in Relations]
inv_union2 [lemma, in Relations]
Iter [definition, in Functions]