Theorem ZMod.inv_zero

Modification history