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: Dec 20 2023 at 11:08 UTC