Theorem ContinuousLinearMap.orthogonal_range

Modification history