Theorem ContinuousLinearMap.map_smul₂

Modification history