mathlib
fc7ac675 - feat(data/string): add docstrings and improve semantics (#2497)

Commit
5 years ago
feat(data/string): add docstrings and improve semantics (#2497) Could have gone in #2493, but I didn't want to hold up #2478. Besides, what's a tiny pull request between friends. This "writing docstrings" thing really lets helps you discover tiny little tweaks here and here. <br> <br> <br>
Author
Parents
Loading