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 def f
modified theorem real.exp_monotone
modified theorem continuous.sub
added theorem continuous.pow
modified theorem continuous.max
modified theorem continuous.min
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
modified def continuous_map.const
modified def continuous_map.id
modified theorem continuous_bot
modified theorem continuous_top