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
Last updated: May 11 2021 at 12:15 UTC