`OAI/Geometry/Convex/GeneralMahler/Budget/`

218 declarations, 0 contain sorry, 0 declared as axioms; 13 files

Files

Blocks.lean 29 declarations
Degree.lean 22 declarations
Eq19.lean 10 declarations
Eq23.lean 6 declarations
Extract.lean 20 declarations
FinalR.lean 12 declarations
Klimit.lean 8 declarations
Major.lean 15 declarations
Parity.lean 16 declarations
Penalty.lean 14 declarations
Roots.lean 23 declarations
Segment.lean 18 declarations
Tbound.lean 25 declarations