diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-10 19:24:31 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-10 19:24:31 +0530 |
| commit | 60331b72ab37e581b0fb405c2eff862e16b52ac2 (patch) | |
| tree | e322884c633f1af6e040fc0dd22ee2536f001d7e /src/nat.ts | |
| parent | f724285d1d3cea85128069bcdf04e4c6af9c7a39 (diff) | |
| download | ts-theorem-provinator-60331b72ab37e581b0fb405c2eff862e16b52ac2.tar.gz ts-theorem-provinator-60331b72ab37e581b0fb405c2eff862e16b52ac2.zip | |
cheated for associativity for a=n
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions