OAI/Geometry/Convex/GeneralMahler/FormLin.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Linear profile identity, first part of Eq17.

  1. theorem OAI.GeneralMahler.ProjField.form_lin line 14