OAI/ModelTheory/Categoricity/
532 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- AEC.lean 47 declarations
- ArrayEmbeddings.lean 45 declarations
- ArrayIsomorphisms.lean 15 declarations
- ArrayMaps.lean 31 declarations
- Arrays.lean 34 declarations
- Collapse.lean 44 declarations
- Colors.lean 28 declarations
- Diagrams.lean 42 declarations
- DirectedLimits.lean 115 declarations
- EndpointDiagrams.lean 27 declarations
- Main.lean 29 declarations
- Model.lean 14 declarations
- Partition.lean 40 declarations
- Subarrays.lean 8 declarations
- TailBound.lean 13 declarations