mathlib

8d55eda5 - feat(topology/tactic): `continuity` tactic (#2879)

feat(topology/tactic): `continuity` tactic (#2879) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>