Theorem PythagoreanTriple.isPrimitiveClassified_of_coprime_of_odd_of_pos

Modification history