OAI/SetTheory/PartitionPrinciple/Transfinite/GroundStageOneOrder.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.rowAssignmentOrder line 11
2. theorem OAI.PartitionPilot.Forcing.mem_rowAssignmentOrder line 16
3. theorem OAI.PartitionPilot.Forcing.pair_mem_rowAssignmentOrder line 22
4. def OAI.PartitionPilot.Forcing.BoundedFormula.rowAssignmentOrderFormula line 38
5. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_rowAssignmentOrderFormula line 44
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.rowAssignmentOrder_mem line 57