Skip to content

Leave a sum beside its own derivative to the plain substitution - #1943

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
keep-the-substitution-for-a-sum-beside-its-derivative
Oct 19, 2026
Merged

Leave a sum beside its own derivative to the plain substitution#1943
Rafael-SOWNet merged 1 commit into
masterfrom
keep-the-substitution-for-a-sum-beside-its-derivative

Commits

  1. Commits on Oct 19, 2026