Theorem BilinForm.Nondegenerate.ker_eq_bot

Modification history