Theorem ContinuousLinearMap.orthogonal_ker

Modification history