Theorem Nat.digits_getLast

Modification history