Theorem ZNum.mod_to_int

Modification history