`FormalConjecturesForMathlib/Order/`

11 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Folders

Bounds/ 1 files, 1 declarations
Filter/ 2 files, 4 declarations
Interval/ 2 files, 4 declarations

Files

Nat.lean 1 declarations
Unimodular.lean 1 declarations