Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-04 06:41 155b3151

View on Github →

chore(data/set/function): minor style fixes (#7027)

Estimated changes

Modified src/data/set/function.lean

modified theorem set.inj_on_preimage

modified theorem set.left_inv_on.image_image'