OAI/SetTheory/PartitionConsistency/Models/
944 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AssignedGraphs.lean 35 declarations
- AvailableRecords.lean 35 declarations
- ClassFibers.lean 33 declarations
- CodeCardinals.lean 5 declarations
- CodeLinks.lean 30 declarations
- ComponentGluing.lean 43 declarations
- ConcreteQuotients.lean 17 declarations
- ConcreteSystem.lean 59 declarations
- GermSelectors.lean 63 declarations
- GraphFusion.lean 34 declarations
- LocalQuotients.lean 39 declarations
- LocalRecords.lean 46 declarations
- OrbitAssignments.lean 49 declarations
- OrbitNames.lean 25 declarations
- OrderedSections.lean 31 declarations
- OrdinalChoice.lean 17 declarations
- OrdinalCodes.lean 54 declarations
- OrdinalPresentation.lean 26 declarations
- PersistentCodes.lean 36 declarations
- QuotientActions.lean 36 declarations
- QuotientTransport.lean 32 declarations
- SliceAssembly.lean 7 declarations
- SliceGeometry.lean 40 declarations
- StableSelectors.lean 63 declarations
- TailGraphs.lean 40 declarations
- UniformImages.lean 21 declarations
- UniformNames.lean 28 declarations