`OAI/Geometry/Convex/GeneralMahler/Intervals/`

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

Files

Basic.lean 68 declarations
Chord.lean 11 declarations
Elem.lean 17 declarations
JCalc.lean 22 declarations
Jet.lean 33 declarations
Log.lean 11 declarations
Trig.lean 8 declarations