Theorem MonoidAlgebra.ext

Modification history

2024-10-27 10:54

Mathlib/Algebra/MonoidAlgebra/Defs.lean

fix(Algebra/MonoidAlgebra/Basic): resolve `ext` porting notes (#6524)

Added MonoidAlgebra.ext View on Github →