Theorem ContinuousLinearMap.apply_val_ker

Modification history

2025-12-27 09:40
Mathlib/Topology/Algebra/Module/LinearMap.lean
chore(*): restrict operations to `LinearMap`s (#33241) …
Added ContinuousLinearMap.apply_val_kerView on Github →