Zulip Chat Archive
Stream: general
Topic: a = b ↔ b = a
Kenny Lau (Apr 16 2018 at 01:35):
What is the fastest way to prove a = b ↔ b = a?
Simon Hudon (Apr 16 2018 at 01:40):
Try by split ; cc
Mario Carneiro (Apr 16 2018 at 01:53):
eq_comm
Last updated: May 02 2025 at 03:31 UTC