OAI/SetTheory/PartitionConsistency/Algebra/
508 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ConservativeExtensions.lean 42 declarations
- DiagramOrder.lean 21 declarations
- DirectLimits.lean 25 declarations
- GateTowers.lean 6 declarations
- MergerCones.lean 55 declarations
- MergerWords.lean 74 declarations
- PersistentProfiles.lean 9 declarations
- PlacementExtensions.lean 8 declarations
- Placements.lean 5 declarations
- ProbeGates.lean 48 declarations
- ProbeMargins.lean 46 declarations
- ProbePresentations.lean 47 declarations
- ProbeWords.lean 122 declarations