Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: Replace
\to
with \mapsto
due to the nonstandard meaning of `…
…\to` Co-authored-by: Michael Abbott <[email protected]>
- Loading branch information