Theorem IsSquare.not_prime

Modification history