Def MonoidAlgebra.coeffLinearEquiv

Modification history

2026-08-10 23:43

Mathlib/Algebra/MonoidAlgebra/Module.lean

feat: generalize transfer instance type class assumptions (#42291) …

Modified MonoidAlgebra.coeffLinearEquiv View on Github →

2026-07-04 08:56

Mathlib/Algebra/MonoidAlgebra/Module.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified MonoidAlgebra.coeffLinearEquiv View on Github →

2026-03-27 10:04

Mathlib/Algebra/MonoidAlgebra/Module.lean

feat(Algebra/MonoidAlgebra): `supported` (#36851)

Added MonoidAlgebra.coeffLinearEquiv View on Github →