Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-20 01:53 9cbd828a

View on Github →

feat(data/finset/basic): add image_congr (#10911) Add finset.image_congr

Estimated changes

added theorem finset.image_congr