Theorem isSquare_toMul_iff

Modification history