OAI/Geometry/HeilbronnTriangle/SpecialRankTwo.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.SpecialRankTwo.sum_weights_le line 11
2. theorem OAI.Problem355.SpecialRankTwo.weighted_bound_of_covol_cube line 21
3. theorem OAI.Problem355.SpecialRankTwo.weighted_spanning_triples_le line 43
4. theorem OAI.Problem355.SpecialRankTwo.weighted_spanning_triples_le_shell line 57
5. theorem OAI.Problem355.SpecialRankTwo.covolume_cube_lower line 77
6. theorem OAI.Problem355.SpecialRankTwo.special_rank_two_shell line 93
7. theorem OAI.Problem355.SpecialRankTwo.special_rank_two_shell_subtype line 153