Zulip Chat Archive
Stream: maths
Topic: cancel_epi
Reid Barton (May 01 2020 at 12:29):
Any particular reason why cancel_epi lost @[simp] in #2100?
Reid Barton (May 01 2020 at 12:29):
This is how simp cancelled compositions with isos, which seems pretty useful...
Last updated: May 02 2025 at 03:31 UTC