Theorem isSquare_ofAdd_iff

Modification history