Theorem ContinuousLinearMap.smulRight_comp

Modification history