| 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 | _ | (296 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 | _ | (1 entry) |
| 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 | _ | (158 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 | _ | (16 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 | _ | (6 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 | _ | (108 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 | _ | (7 entries) |
T
tail [definition, in vector]Test [constructor, in minski]
transition [inductive, in minski]
transition_eq_transition [lemma, in minski]
transition_final [lemma, in minski]
transition_refl [constructor, in minski]
transition_refl' [lemma, in minski]
transition_step [lemma, in minski]
transition_step' [lemma, in minski]
transition_transition [lemma, in minski]
truncate [definition, in vector]
truncate_append [lemma, in vector]
truncate_change [lemma, in vector]
truncate_eq_from_eq [lemma, in vector]
truncate_id [lemma, in vector]
truncate_overwrite [lemma, in vector]
truncate_overwrite_id [lemma, in vector]