diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-02-08 12:27:50 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-02-08 12:27:50 +0100 |
| commit | 7de36c50001f2be63d8260cd52d0b49872590b9a (patch) | |
| tree | 6db945ef9a5b23d6d5b8acd266905b17ad928153 /src/CHAD/Lemmas.hs | |
| parent | a9e6c72eff3bee8d45e0d906e8cd027066e04793 (diff) | |
Remove sparsePlus, it's just EPlus on applySparse
Diffstat (limited to 'src/CHAD/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions