OAI/Geometry/HeilbronnTriangle/PlaneWeightedLines.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.PlaneLines.subgroupFiber line 12
2. theorem OAI.Problem355.PlaneLines.card_rank_one_family_le line 17
3. theorem OAI.Problem355.PlaneLines.sum_weights_rank_one_le line 30