Theorem PythagoreanTriple.mul_iff

Modification history