FormalConjecturesForMathlib/Order/Interval/
4 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Folders
- Finset/ 2 files, 4 declarations
FormalConjecturesForMathlib/Order/Interval/4 declarations, 0 contain sorry, 0 declared as axioms; 2 files