Zulip Chat Archive
Stream: general
Topic: Not isomorphic
Anatole Dedecker (Jun 18 2021 at 20:32):
What is the mathlib canonical way to express two groups are not isomorphic ?
Eric Wieser (Jun 18 2021 at 20:35):
instance : is_empty (G ≃* H) maybe?
Last updated: May 02 2025 at 03:31 UTC