Theorem irreducible_iff

Modification history