Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-11 18:49 a521a32e

View on Github →

feat(data/set/basic): Missing set.image_perm (#13242)

Estimated changes

Modified src/data/finset/basic.lean

Modified src/data/set/basic.lean

added theorem set.image_perm