Zulip Chat Archive
Stream: new members
Topic: Isomorphic groups
Sebastian Zimmer (Oct 06 2018 at 16:25):
I don't see anything in mathlib about isomorphic groups. What is the best way to describe the fact that two groups are isomorphic?
Patrick Massot (Oct 06 2018 at 16:32):
You could either use the category theory stuff we have, or extend equiv
Last updated: May 02 2025 at 03:31 UTC