Theorem ContinuousLinearMap.homothety_norm

Modification history