Theorem isIrreducible_iff_interₛ

Modification history