OAI/Geometry/Convex/GeneralMahler/Linear/
154 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Comm.lean 6 declarations
- Eq25.lean 4 declarations
- Eq26.lean 16 declarations
- Eq27.lean 6 declarations
- Final.lean 14 declarations
- Gauss.lean 9 declarations
- Gram.lean 13 declarations
- Nu.lean 19 declarations
- Powers.lean 16 declarations
- Segments.lean 37 declarations
- SpectralIBP.lean 14 declarations