Theorem Num.shiftl_to_nat

Modification history