Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-15 19:29 ca5987fa

View on Github →

chore(data/set/basic): add image_image and preimage_preimage to function.left_inverse (#8688)

Estimated changes