`OAI/Geometry/Convex/GeneralMahler/Hermite/`

87 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

Dense.lean 7 declarations
Gradient.lean 11 declarations
H.lean 19 declarations
L2.lean 12 declarations
Multi.lean 18 declarations
Pair.lean 20 declarations