Theorem ZMod.inv_mul_of_unit

Modification history