Theorem hfdifferential_apply

Modification history

2024-11-13 18:58
Mathlib/Geometry/Manifold/DerivationBundle.lean
chore: rename a bunch of stuff (#18886) …
Added hfdifferential_applyView on Github →