Theorem Nat.to_digits_core_lens_eq

Modification history