mathlib3

616e053d - chore(data/set/image): Turn lemma around (#17945)

chore(data/set/image): Turn lemma around (#17945) Turn `set.image_inter` around to match all other distributivity lemmas (`set.image_union`, `set.image_Inter`, `set.image_Union`, `finset.image_inter`, `finset.image_union`, ...)