Theorem isSquare_one

Modification history