Commit 2024-12-17 16:57 88c8ffa1

View on Github →

feat: pointwise MapsTo lemmas (#19999)

Estimated changes

Modified Mathlib/Algebra/Group/Pointwise/Set/Basic.lean

added theorem Set.MapsTo.div

added theorem Set.MapsTo.inv

added theorem Set.MapsTo.mul

Modified Mathlib/Combinatorics/Additive/FreimanHom.lean