Theorem BilinForm.nondegenerate_toBilin'_iff_det_ne_zero

Modification history