Theorem Bundle.contMDiffWithinAt_section

Modification history

2025-07-03 22:04

Mathlib/Geometry/Manifold/VectorBundle/Basic.lean

chore(Geometry/Manifold/VectorBundle/Basic): make some arguments implicit (#26677) …

Modified Bundle.contMDiffWithinAt_section View on Github →

2024-11-08 15:36

Mathlib/Geometry/Manifold/VectorBundle/Basic.lean

feat: version within a set of `ContMDiffAt.mfderiv` (#18724) …

Added Bundle.contMDiffWithinAt_section View on Github →