Theorem IsSquare.isSumSq

Modification history