Theorem PythagoreanTriple.ne_zero_of_coprime

Modification history