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