Theorem Manifold.LiftSourceTargetPropertyAt.property

Modification history

2025-12-10 04:42

Mathlib/Geometry/Manifold/LocalSourceTargetProperty.lean

feat: product of immersions is an immersion (#28853)

Modified Manifold.LiftSourceTargetPropertyAt.property View on Github →

2025-11-28 19:37

Mathlib/Geometry/Manifold/LocalSourceTargetProperty.lean

feat: smooth immersions (#28793) …

Added Manifold.LiftSourceTargetPropertyAt.property View on Github →