Theorem Num.ldiff_to_nat

Modification history