Theorem ContinuousLinearMap.lsmul_apply

Modification history