OAI/Combinatorics/Ryser/Domination/
40 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- Append.lean 1 declarations
- Basic.lean 10 declarations
- Counting.lean 11 declarations
- Exchange.lean 4 declarations
- Extension.lean 1 declarations
- Main.lean 2 declarations
- Nonempty.lean 1 declarations
- Seed.lean 2 declarations
- TraceDefinitions.lean 8 declarations