Skip to content

Add rewrite with Theorem 1 - #20

Open
ppraneth wants to merge 1 commit into
mainfrom
theorem
Open

Add rewrite with Theorem 1#20
ppraneth wants to merge 1 commit into
mainfrom
theorem

Add rewrite, using Theorem 1 for zero-preserving functions on sparse …

73bfc58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Tests (ubuntu-latest)
succeeded Nov 9, 2026 in 12s