Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-25 04:26 8d55eda5

View on Github →

feat(topology/tactic): continuity tactic (#2879)

Estimated changes

modified theorem continuous.prod_mk
modified theorem continuous_fst
modified theorem continuous_inl
modified theorem continuous_inr
modified theorem continuous_quot_lift
modified theorem continuous_quot_mk
modified theorem continuous_snd
modified theorem continuous_subtype_mk
modified theorem continuous_subtype_val
modified theorem continuous_sum_rec
modified theorem continuous_ulift_down
modified theorem continuous_ulift_up