Commit 2025-02-17 10:48 1c17407c

View on Github →

feat(GroupAction/Pointwise): add MapsTo.smul_set (#21940)

Estimated changes

added theorem Set.MapsTo.smul_set
modified theorem smul_preimage_set_leₛₗ