Theorem LinearMap.BilinForm.nonDegenerateFlip_iff

Modification history