FormalConjecturesForMathlib/Data/Set/
37 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Density.lean 21 declarations
- Interval.lean 2 declarations
- Triplewise.lean 14 declarations
FormalConjecturesForMathlib/Data/Set/37 declarations, 0 contain sorry, 0 declared as axioms; 3 files