differentiable rsubmx/lsubmx lemmas + derive_sqrt#1801
Merged
affeldt-aist merged 4 commits intomath-comp:masterfrom Jan 6, 2026
Merged
differentiable rsubmx/lsubmx lemmas + derive_sqrt#1801affeldt-aist merged 4 commits intomath-comp:masterfrom
affeldt-aist merged 4 commits intomath-comp:masterfrom
Commits
Commits on Jan 5, 2026
- authored andcommitted
- authored andcommitted
- committed
- committed
