Theorem QuadraticMap.IsOrtho.prod

Modification history