Theorem Num.size_to_nat

Modification history