Theorem: Waffle.disagree_eq_maybe (PnP2023/Lec_01_25/Answer.lean)

State before:
ans : Answer
⊢ disagree ans = ans → ans = Answer.maybe
Tactic:
cases ans <;> simp [disagree]
State after:
no goals