Theorem ContinuousLinearMap.flip_smul

Modification history