Theorem ZNum.of_to_int'

Modification history