Theorem IsSMulRegular.smul_finset_symmDiff

Modification history

2026-09-16 23:41
Mathlib/Algebra/Group/Action/Pointwise/Finset.lean
feat(Pointwise/Finset): generalise smul_finset lemmas (#43455) …
Added IsSMulRegular.smul_finset_symmDiffView on Github →