OAI/Geometry/HeilbronnTriangle/ZeroAffineShell.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.ZeroAffineShell.pairing_moment_euclidean_shell line 16
2. lemma OAI.Problem355.ZeroAffineShell.row_cubic_constant line 50
3. theorem OAI.Problem355.ZeroAffineShell.weighted_spanning_triples_le line 55
4. theorem OAI.Problem355.ZeroAffineShell.weighted_lattice_fibre_le line 77
5. theorem OAI.Problem355.ZeroAffineShell.canonical_pairing_covolume line 98
6. theorem OAI.Problem355.ZeroAffineShell.weighted_lattice_shell_le line 117
7. theorem OAI.Problem355.ZeroAffineShell.weighted_lattice_shell_le_of_short_exclusion line 171