Theorem QuadraticMap.isSymm_toMatrix'

Modification history