rings with one element are isomorphic (#6079)

Commit

4 years ago

feat(data/equiv/mul_add): monoids/rings with one element are isomorphic (#6079) Monoids (resp. add_monoids, semirings) with one element are isomorphic.

Author

kbuzzard

Parents

b34da002

mathlib3 4c1c11ce - feat(data/equiv/mul_add): monoids/rings with one element are isomorphic (#6079)

mathlib3
4c1c11ce - feat(data/equiv/mul_add): monoids/rings with one element are isomorphic (#6079)