Theorem BilinForm.toLin_restrict_range_dualCoannihilator_eq_orthogonal

Modification history