Mathlib Changelog
v3
Changelog
About
Github
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
docs/tutorial/category_theory/calculating_colimits_in_Top.lean
modified
def
f
Modified
src/analysis/analytic/basic.lean
Modified
src/analysis/normed_space/banach.lean
Modified
src/data/complex/exponential.lean
modified
theorem
real.exp_monotone
Modified
src/geometry/manifold/smooth_manifold_with_corners.lean
Modified
src/topology/algebra/group.lean
modified
theorem
continuous.sub
Modified
src/topology/algebra/module.lean
Modified
src/topology/algebra/monoid.lean
added
theorem
continuous.pow
Modified
src/topology/algebra/multilinear.lean
Modified
src/topology/algebra/ordered.lean
modified
theorem
continuous.max
modified
theorem
continuous.min
Modified
src/topology/algebra/polynomial.lean
Modified
src/topology/compact_open.lean
Modified
src/topology/constructions.lean
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
src/topology/continuous_map.lean
modified
def
continuous_map.const
modified
def
continuous_map.id
Modified
src/topology/homeomorph.lean
Modified
src/topology/order.lean
modified
theorem
continuous_bot
modified
theorem
continuous_top
Created
src/topology/tactic.lean
Created
test/continuity.lean