Theorem ContinuousLinearMap.coe_smul'

Modification history