Theorem isIrreducible_iff_sInter

Modification history