Theorem Nat.getLast_digit_ne_zero

Modification history