Theorem isSumSq_sum_mul_self

Modification history