Theorem Irreducible.separable

Modification history