Theorem QuadraticMap.PosDef.anisotropic

Modification history