OAI/Geometry/HeilbronnTriangle/AnisotropicGeometry.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem355.Anisotropic.IntVector line 16
2. abbrev OAI.Problem355.Anisotropic.length line 18
3. structure OAI.Problem355.Anisotropic.PlaneData line 20
4. theorem OAI.Problem355.Anisotropic.affine_plane_card_le line 37