OAI/SetTheory/PartitionPrinciple/Transfinite/AttachmentCoinitiality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.attachment_bridge line 16
2. theorem OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.attachment_essential_component line 30
3. theorem OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.attachment_old_meet line 38
4. def OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.birthFresh line 63
5. theorem OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.birthFresh_eq line 73
6. def OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.attachmentLayer line 84
7. def OAI.PartitionPilot.Compression.RecursiveMaps.Chronological.finiteLayer line 104