OAI/SetTheory/PartitionPrinciple/Transfinite/OrdinalSetCodes.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.SetRealization.ordinalCode line 11
2. theorem OAI.PartitionPilot.SetRealization.ordinalCode_eq line 16
3. theorem OAI.PartitionPilot.SetRealization.rank_ordinalCode line 20
4. theorem OAI.PartitionPilot.SetRealization.ordinalCode_injective line 35
5. theorem OAI.PartitionPilot.SetRealization.mem_ordinalCode_iff line 40
6. theorem OAI.PartitionPilot.SetRealization.mem_ordinalCode line 49