Theorem ZNum.to_of_int

Modification history