Theorem BilinForm.toLin_restrict_ker_eq_inf_orthogonal

Modification history