Skip to content

Distribute over a sum before searching by parts (#779) - #782

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
fix/779-linearity-before-by-parts
Aug 7, 2026
Merged

Distribute over a sum before searching by parts (#779)#782
Rafael-SOWNet merged 1 commit into
masterfrom
fix/779-linearity-before-by-parts

Commits

  1. Commits on Aug 7, 2026