Theorem isPreirreducible_iff_closure

Modification history