Theorem AddMonoidAlgebra.support_mul_single
Modification history
2023-11-23 11:18
Mathlib/Algebra/MonoidAlgebra/Support.lean
chore(Algebra/Regular/Basic): generalize to `IsCancelMul` (#8428) …
Modified AddMonoidAlgebra.support_mul_singleView on Github →