Theorem ContinuousLinearMap.smulRight_one_eq_iff

Modification history