Theorem LinearMap.BilinForm.span_singleton_inf_orthogonal_eq_bot

Modification history