Theorem Nat.digits_inj_iff

Modification history