Theorem PythagoreanTriple.normalize

Modification history