OAI/Geometry/HeilbronnTriangle/LatticeShell.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.LatticeShell.sum_powers_le_twice_last line 10
2. theorem OAI.Problem355.LatticeShell.sum_divisor_exponents_le line 28
3. theorem OAI.Problem355.LatticeShell.card_box_residue_le line 39
4. theorem OAI.Problem355.LatticeShell.symmetric_quotient_length_le line 65
5. theorem OAI.Problem355.LatticeShell.card_symmetric_box_residue_le line 76
6. theorem OAI.Problem355.LatticeShell.card_symmetric_box_zmod_residue_le line 87
7. theorem OAI.Problem355.LatticeShell.card_symmetric_box_residues_le line 98
8. theorem OAI.Problem355.LatticeShell.card_symmetric_box_residues_le_real line 113
9. theorem OAI.Problem355.LatticeShell.card_symmetric_box_of_residue_density_le line 134