diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-12 20:21:13 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-12 20:21:13 +0530 |
| commit | a393765df40744aae68dab943e25bad8175bd5c0 (patch) | |
| tree | 606aafea514fb8f53dcfafd86ab06e74ca18f868 /README.md | |
| parent | 999c2314c0d649646a53e7cc440ae3f4aa1a3d61 (diff) | |
| download | ts-theorem-provinator-a393765df40744aae68dab943e25bad8175bd5c0.tar.gz ts-theorem-provinator-a393765df40744aae68dab943e25bad8175bd5c0.zip | |
feat: associativity + distributivity for multiplication
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions
