Skip to content

Commit 7a7968b

Browse files
grunweggrunweg
committed
Change; update module doc-string
1 parent 079bdfd commit 7a7968b

6 files changed

Lines changed: 821 additions & 796 deletions

File tree

‎Mathlib.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3234,6 +3234,7 @@ import Mathlib.Geometry.Manifold.IntegralCurve.ExistUnique
32343234
import Mathlib.Geometry.Manifold.IntegralCurve.Transform
32353235
import Mathlib.Geometry.Manifold.IntegralCurve.UniformTime
32363236
import Mathlib.Geometry.Manifold.IsManifold.Basic
3237+
import Mathlib.Geometry.Manifold.IsManifold.ExtChartAt
32373238
import Mathlib.Geometry.Manifold.IsManifold.InteriorBoundary
32383239
import Mathlib.Geometry.Manifold.LocalDiffeomorph
32393240
import Mathlib.Geometry.Manifold.LocalInvariantProperties

‎Mathlib/Geometry/Manifold/ContMDiff/Defs.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Copyright (c) 2020 Sébastien Gouëzel. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Sébastien Gouëzel, Floris van Doorn
55
-/
6-
import Mathlib.Geometry.Manifold.IsManifold.Basic
6+
import Mathlib.Geometry.Manifold.IsManifold.ExtChartAt
77
import Mathlib.Geometry.Manifold.LocalInvariantProperties
88

99
/-!

0 commit comments

Comments
 (0)