Theorem Num.shiftr_to_nat

Modification history