Theorem ContinuousLinearMap.isometry_mul

Modification history