Theorem ZNum.lt_to_int

Modification history