OAI/Combinatorics/Order/
22 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- ChainToggle.lean 14 declarations
- StrictChains.lean 8 declarations
OAI/Combinatorics/Order/22 declarations, 0 contain sorry, 0 declared as axioms; 2 files