OAI/SetTheory/PartitionPrinciple/Geometry/GroundInitialExternalHeights.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.exists_externalColumns line 17
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.exists_externalHeightColumns line 51
3. theorem OAI.PartitionPilot.Forcing.GroundExternalGeometryInputs.externalHeightData_of_families line 90
4. theorem OAI.PartitionPilot.Forcing.GroundExternalGeometryInputs.exists_externalHeight line 170
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.exists_groundInitialExternalHeights line 200