Theorem LinearEquiv.coe_toContinuousLinearEquiv'

Modification history

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