Theorem QuadraticMap.Equivalent.prod

Modification history