Theorem PythagoreanTriple.mul_isClassified

Modification history