OAI/SetTheory/PartitionPrinciple/Geometry/GroundExternalSerializedCore.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields line 27
2. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_value line 36
3. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_core line 44
4. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_old line 57
5. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_stamp line 68
6. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_limit line 77
7. theorem OAI.PartitionPilot.Forcing.GroundExternalBirthData.serializedFields_old_entries line 85