Theorem IsSumSq.mul_self

Modification history