mathlib

e4fdc750 - refactor(analysis/calculus/*deriv): use eventually_eq in congruence statements (#3261)

refactor(analysis/calculus/*deriv): use eventually_eq in congruence statements (#3261) Use `eventually_eq` instead of `mem_sets` for congruence lemmas in continuity and differentiability statements.