mathlib3

65fe78ae - feat(analysis/special_functions/trigonometric): add missing continuity attributes (#6236)

feat(analysis/special_functions/trigonometric): add missing continuity attributes (#6236) I added continuity attributes to lemmas about the continuity of trigonometric functions, e.g. `continuous_sin`, `continuous_cos`, `continuous_tan`, etc. This came up in [this Zulip conversation](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/What's.20new.20in.20Lean.20maths.3F/near/221511451) I also added `real.continuous_tan`.