Theorem Set.MapsTo.mul

Modification history

2024-12-17 16:57
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat: pointwise MapsTo lemmas (#19999)
Added Set.MapsTo.mulView on Github →