OAI/SetTheory/PartitionPrinciple/Geometry/GroundStoredPreparationFamilyPersistence.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PartitionPilot.Forcing.StoredPreparationEnvironment line 10
2. theorem OAI.PartitionPilot.Forcing.RecursiveRefinementOrderHistory.preparationCut_strengthens line 26
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.storedPreparationFamily_cut_mono line 59