Theorem MonoidAlgebra.commAlgEquiv_single_one

Modification history

2026-04-13 11:55
Mathlib/Algebra/MonoidAlgebra/Basic.lean
feat(Algebra/MonoidAlgebra): a few lemmas (#37750) …
Added MonoidAlgebra.commAlgEquiv_single_oneView on Github →