▲ 2 pointsProof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean (2019) [video]youtube.comby surprisetalk·3y ago·0 comments·view on hn ↗