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) |

## P

Pik [definition, in compilation]Pik [constructor, in recursive]

PikSem [lemma, in compilation]

PikSem' [lemma, in compilation]

Pred [definition, in recursive]

PredSem [lemma, in recursive]

Prepend [definition, in minski_tools]

PrependSem [lemma, in minski_tools]

Prepend_map [definition, in minski_tools]

prepend_proof [lemma, in minski_tools]

Prim [constructor, in recursive]

Prim [definition, in compilation]

PrimIter [definition, in compilation]

PrimIterSemRO [lemma, in compilation]

PrimIterSemRS [lemma, in compilation]

PrimSem [lemma, in compilation]

proof [lemma, in minski]

P02 [definition, in recursive]

P03 [definition, in recursive]

P12 [definition, in recursive]

P13 [definition, in recursive]

P23 [definition, in recursive]