Theorem MonoidAlgebra.mem_smulAntidiagonal_of_group

Modification history

2026-04-28 01:10

Mathlib/Algebra/MonoidAlgebra/PointwiseSMul.lean

refactor(Algebra/MonoidAlgebra/PointwiseSMul): switch action from Finsupp to (Add)MonoidAlgebra and multiplicativize (#35243) …

Added MonoidAlgebra.mem_smulAntidiagonal_of_group View on Github →