Theorem isIrreducible_iff_closure

Modification history