Theorem PythagoreanTriple.isClassified_of_isPrimitiveClassified

Modification history