Theorem PythagoreanTriple.isPrimitiveClassified_of_coprime_of_zero_left

Modification history