Proving ( A → ( B → C)) → ( A ∧ B → C) in Leanyoutube.com3 points·bamborde_zaiku··0 commentsOpen articleSaveView on HN