Theorem not_memIooMod_iff_eq_add_zsmul

Modification history