OAI/Combinatorics/TriangleRemoval/Coupling/
129 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- ClockOrder.lean 7 declarations
- GridUniformError.lean 7 declarations
- HyperScanAction.lean 10 declarations
- InitialAssignmentSetBound.lean 2 declarations
- OrderEmbRank.lean 5 declarations
- OrderLaw.lean 15 declarations
- OrderedSuffix.lean 5 declarations
- OrderedWeightMono.lean 5 declarations
- ScanList.lean 3 declarations
- SelectedClockLawPair.lean 4 declarations
- UniformRootAtom.lean 3 declarations
- UnitTime.lean 63 declarations