OAI/SetTheory/PartitionPrinciple/Transfinite/GroundChronologyLayerRelation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.BoundedFormula.chronologyLayerPairLookupFormula line 14
2. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_chronologyLayerPairLookupFormula line 24
3. def OAI.PartitionPilot.Forcing.SetFormula.chronologyLayerRelationFormula line 40
4. def OAI.PartitionPilot.Forcing.GroundChronologyFields.layerRelationParams line 52
5. theorem OAI.PartitionPilot.Forcing.GroundChronologyFields.layerRelationParams_ground line 56
6. theorem OAI.PartitionPilot.Forcing.GroundChronologyFields.realize_chronologyLayerRelation line 61