Theorem ZMod.gauss_lemma

Modification history