Theorem BilinForm.nondegenerate_congr_iff

Modification history