diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-01 18:02:10 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-01 18:02:10 -0500 |
| commit | 203a418c60e38479f03304b80ece6382ec799931 (patch) | |
| tree | 9caa930e30b90bf065282897bcd144264e6af6ec /src | |
| parent | d85a2676ccc2bf9c386628b6da128ac5fd5862a2 (diff) | |
Make (𝕨 F G) produce a real 2-train if 𝕨 is ·, not a 3-train
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions