Theorem isSquare_inv

Modification history