OAI/Geometry/HeilbronnTriangle/DividingPivot.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.DividingPivot.lowerShear line 10
2. def OAI.Problem355.DividingPivot.upperShear line 20
3. theorem OAI.Problem355.DividingPivot.reduce_dividing_pivot line 30
4. theorem OAI.Problem355.DividingPivot.divides_remaining_pivot line 41
5. theorem OAI.Problem355.DividingPivot.undo_reduction line 46
6. theorem OAI.Problem355.DividingPivot.exists_dividing_pivot_factorization line 52