Skip to content

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #34) - #39

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/right-recursive-oplus
May 11, 2026
Merged

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #34)#39
hyperpolymath merged 1 commit into
mainfrom
fix/right-recursive-oplus

fix: right-recursive _⊕_ + Phase 1.3 right-monotonicity lemmas (issue…

98aefd7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar