Theorem isIrreducible_iff_singleton

Modification history