Theorem ContinuousLinearMap.coe_flipₗᵢ

Modification history