diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-03-07 00:44:57 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-03-07 00:44:57 -0500 |
| commit | 9479b3937c40ae4bd87e0f512ea11d1ef8004c6c (patch) | |
| tree | 7de7c3f00ae325808261b9e4cf562db0a19bc7aa /docs/strings.md | |
| parent | 080f3a4c2d73367a857980ddaeb181ef07e00acf (diff) | |
Just use mathlib symbols, don't redefine them
Diffstat (limited to 'docs/strings.md')
0 files changed, 0 insertions, 0 deletions