mathlib3
6acf99e8 - fix(data/nat/basic): fix typos in docstrings (#5592)

Commit
4 years ago
fix(data/nat/basic): fix typos in docstrings (#5592) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>
Author
Parents
Loading