Theorem LinearMap.BilinForm.nondegenerate_toBilin'_of_det_ne_zero'

Modification history