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