Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean | Hacker News Reader