Theorem LinearMap.BilinForm.isCompl_span_singleton_orthogonal

Modification history