diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-10 17:33:01 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-10 17:33:01 +0530 |
| commit | f724285d1d3cea85128069bcdf04e4c6af9c7a39 (patch) | |
| tree | ee73c1b85a4af63f6e553bbc8c3379d406e8e3ee /src/nat.ts | |
| parent | f6e26212620de411e082cbd52379075ea5a99032 (diff) | |
| download | ts-theorem-provinator-f724285d1d3cea85128069bcdf04e4c6af9c7a39.tar.gz ts-theorem-provinator-f724285d1d3cea85128069bcdf04e4c6af9c7a39.zip | |
adds associativity for a=0
Diffstat (limited to 'src/nat.ts')
0 files changed, 0 insertions, 0 deletions