Theorem Irreducible.not_square

Modification history