OAI/SetTheory/PartitionPrinciple/Geometry/GroundPreparedStructuralInsertionCollisions.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.prepared_insertion_collision_forces line 27
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.anchor_of_dataBound line 129

   Also declared: OAI/SetTheory/PartitionPrinciple/Geometry/GroundPreparedAlignedReferenceCollisions.lean:226 (same declaration text).

3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralAssignment_insertion_reference line 162
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralAssignment_prepared_insertion_collision line 259