Theorem PresentedMonoid.toMonoid.unique

Modification history

2024-11-04 09:56
Mathlib/Algebra/PresentedMonoid/Basic.lean
feat: presented monoids (#13152) …
Added PresentedMonoid.toMonoid.uniqueView on Github →