OAI/Geometry/Convex/GeneralMahler/Segment/
191 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- All.lean 1 declarations
- Average.lean 8 declarations
- Chord.lean 10 declarations
- Cost.lean 22 declarations
- Disp.lean 13 declarations
- Distant.lean 3 declarations
- Element.lean 13 declarations
- FarArc.lean 6 declarations
- First.lean 9 declarations
- Mean.lean 31 declarations
- Omega.lean 11 declarations
- Phase.lean 16 declarations
- Positive.lean 6 declarations
- Short.lean 6 declarations
- Small.lean 13 declarations
- Stats.lean 23 declarations