Theorem ContinuousLinearMap.smulRight_one_pow

Modification history