Theorem BilinForm.isCompl_span_singleton_orthogonal

Modification history