Theorem ContinuousMap.smul_apply'

Modification history