digits): digits injective at fixed base (#6338)

Commit

4 years ago

feat(data/nat/digits): digits injective at fixed base (#6338) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

pechersky

Parents