Theorem QuadraticMap.associated_sq

Modification history