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