Theorem QuadraticForm.isSymm_toMatrix'

Modification history