Theorem: Waffle.Answer.eq_of_le_le (PnP2023/Labs/Lab02/AnswerLE.lean)

State before:
a b : Answer
⊢ a ≤ b → b ≤ a → a = b
Tactic:
sorry
State after:
no goals