Theorem LinearMap.orthogonal_span_singleton_eq_to_lin_ker

Modification history