OAI/Geometry/Convex/GeneralMahler/SimplexVolume.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Simplex direction of equality, solved by sending the cone to an orthant.

  1. theorem OAI.GeneralMahler.Body.simplex_attains line 13