Theorem isReduced_zmod

Modification history