## 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 11 2021 at 12:15 UTC