Theorem ContinuousLinearMap.smulRight_zero

Modification history

2026-03-12 19:24
Mathlib/Topology/Algebra/Module/LinearMap.lean
feat: covariant derivatives on vector bundles (#36279) …
Added ContinuousLinearMap.smulRight_zeroView on Github →