Theorem PythagoreanTriple.isPrimitiveClassified_of_coprime_of_pos

Modification history