Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.image2_Union_left

Modification history

2021-04-22 20:22
src/data/set/lattice.lean
chore(computability/language): golf some proofs (#7301)
Added set.image2_Union_leftView on Github →