diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 09:59:59 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:56:10 -0300 |
| commit | e92c8e00290bab8db328058c437b471c0f1671a4 (patch) | |
| tree | f4ff85923298f70b7e66c3ec8e9e780bab784d7b /lib/label.ml | |
| parent | c3b4c7aee1f0d4beb078938d330e982e752927a1 (diff) | |
| download | SOL-e92c8e00290bab8db328058c437b471c0f1671a4.tar.gz SOL-e92c8e00290bab8db328058c437b471c0f1671a4.zip | |
algebraic identities of plus and times discharge symbolically
Diffstat (limited to 'lib/label.ml')
0 files changed, 0 insertions, 0 deletions