Theorem Num.lor_to_nat

Modification history