Commit 2020-07-14 16:40 708e4813
View on Github →chore(data/set/basic): simp attribute on set.image_subset_iff (#3394) see discussion here with @sgouezel : https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.233387.3A.20smooth.20functions.20on.20manifolds/near/203751071