`OAI/Combinatorics/Ryser/Hypergraph/`

55 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Cover.lean 18 declarations
Definitions.lean 12 declarations
Infinitude.lean 4 declarations
Matching.lean 13 declarations
Partite.lean 8 declarations