Theorem PythagoreanTriple.isPrimitiveClassified_aux

Modification history