Theorem Even.isSquare_pow

Modification history