Theorem isIrreducible_singleton

Modification history