Theorem ZNum.div_to_int

Modification history