Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-18 12:22 135a92d1

View on Github →

feat(data/set): two simple lemmas (#11531)

Estimated changes

Modified src/data/set/lattice.lean

added theorem disjoint.image

added theorem set.inj_on.image_inter

Modified src/data/set/pairwise.lean

added theorem pairwise_disjoint.mono

Modified src/measure_theory/measure/haar_lebesgue.lean