OAI/SetTheory/PartitionPrinciple/Forcing/GroundMainPrefixInsertionFamilyTransport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionCaps line 17
2. def OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionActors line 20
3. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionCaps_ground line 23
4. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionActors_ground line 29
5. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionCaps_injection line 35
6. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionActors_injection line 40
7. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionCaps_entry line 45
8. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.finalInsertionActors_entry line 59