Mathlib v3 is deprecated. Go to Mathlib v4

Theorem model_with_corners.continuous_on_symm

Modification history

2022-02-26 11:40
src/geometry/manifold/smooth_manifold_with_corners.lean
refactor(topology,analysis): use `maps_to` in lemmas like `continuous_on.comp` (#12294)
Added model_with_corners.continuous_on_symmView on Github →