Theorem not_irreducible_zero

Modification history