OAI/SetTheory/PartitionPrinciple/Geometry/GroundFiniteAccounting.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.GroundCompressionState.successor_coherent line 21
2. theorem OAI.PartitionPilot.Forcing.GroundCompressionState.canonical_iterate_coherent line 33
3. theorem OAI.PartitionPilot.Forcing.GroundCompressionState.successor_accounting line 69
4. theorem OAI.PartitionPilot.Forcing.GroundCompressionState.canonical_iterate_accounting line 84