diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:09:35 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:09:35 -0500 |
| commit | 6f480d3706c9f01f2f9044f4f016853a1e8239e6 (patch) | |
| tree | 36f861c92f5deba039404ae16576b08c97dd29d8 /tutorial | |
| parent | e14bfac44de8a5c2e8af4d95d76b6fa29cc38016 (diff) | |
There's no identity element for ∾˝ on an empty list
Diffstat (limited to 'tutorial')
0 files changed, 0 insertions, 0 deletions