Theorem LinearMap.coe_toContinuousLinearMap'

Modification history

2023-05-29 10:13
Mathlib/Topology/Algebra/Module/FiniteDimension.lean
chore: tidy various files (#4466)
Added LinearMap.coe_toContinuousLinearMap'View on Github →