diff options
| author | WormHeamer | 2025-08-05 01:02:45 -0400 |
|---|---|---|
| committer | WormHeamer | 2025-08-05 01:02:45 -0400 |
| commit | a4f6a42d8f76a34b58d7b8d8963cb268c8962489 (patch) | |
| tree | 118041706259cb30ba1d10fff0a1286e5a1b1fac /doc/demo.txt | |
| parent | 0c9229c4147e0e3d4c065b36326e0e0b555f3441 (diff) | |
known-not-equivalent identities: a [+/-] lit[x, x =/= 0]
Diffstat (limited to 'doc/demo.txt')
0 files changed, 0 insertions, 0 deletions