Theorem PythagoreanTriple.classified

Modification history