Theorem LinearMap.BilinForm.nondegenerate_iff

Modification history