HOL html
| Files 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 | _ |
| Theorems 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 | _ |
I (theorems)
INDSET_IND_MODELINDSET_INHABITED
INJ_LEMMA
INST_CORE
INST_CORE_EXISTS
INST_DEF
INST_TYPE_correct
INST_correct
IN_BOOL
IN_COMPREHENSION
IN_POWERSET
IN_PRODUCT
IN_SET_ELEMENT
IS_CLASH
IS_RESULT
ITLIST_VALMOD_EQ
ITLIST_VALMOD_FILTER
I_AXIOM
I_BOOL_EXISTS
I_IND_EXISTS
I_INFINITE
I_PAIR_EXISTS
I_SET
I_SET_EXISTS
I_SET_SETLEVEL
inacc_tybij_th
ind_model_tybij_th
indset
inset
isaset
isasetlevel