Theorem IsSumSq.sum_isSquare

Modification history