Theorem: proportion_of_zero (Pythagoras/proportion.lean)

State before:
⊢ proportion 0 0 0 0
Tactic:
simp [proportion]
State after:
no goals