Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-26 22:05 26528b75

View on Github →

chore(data/set): add a couple of lemmas (#8430)

Estimated changes

Modified src/data/set/basic.lean

added theorem set.subsingleton.preimage

Modified src/data/set/lattice.lean

added theorem set.image_bUnion