OAI/SetTheory/PartitionConsistency/Construction/
530 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- BlockTowers.lean 44 declarations
- CellCuts.lean 33 declarations
- CellReorder.lean 19 declarations
- CellTowers.lean 37 declarations
- CompleteRounds.lean 66 declarations
- ConservativeCells.lean 54 declarations
- ConservativeHulls.lean 67 declarations
- DiagramPlacements.lean 20 declarations
- MergerPushouts.lean 36 declarations
- MonoidBase.lean 44 declarations
- MonoidRounds.lean 56 declarations
- MonoidTowers.lean 41 declarations
- SaturatedMonoids.lean 13 declarations