OAI/SetTheory/PartitionPrinciple/Geometry/GroundPartialCoverPartitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.partialCoverOccurrence line 13
2. theorem OAI.PartitionPilot.Forcing.pair_mem_partialCoverOccurrence line 18
3. def OAI.PartitionPilot.Forcing.BoundedFormula.partialCoverOccurrenceFormula line 31
4. theorem OAI.PartitionPilot.Forcing.BoundedFormula.partialCoverOccurrence_meaning line 37
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.partialCoverOccurrence_mem line 49
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.partialCover_ordinal_partitions line 70