Repository navigation

Take a vanishing factor times a sum term by term in a one-sided limit - #2387

Merged

Rafael-SOWNet merged 2 commits into

feature/distribute-a-vanishing-factor

Nov 8, 2026

Merged

Take a vanishing factor times a sum term by term in a one-sided limit#2387
Rafael-SOWNet merged 2 commits into
masterfrom
feature/distribute-a-vanishing-factor

Commits on Nov 8, 2026
- Take a vanishing factor times a sum term by term in a one-sided limit
  
  Rafael-SOWNet
  and
  claude
  committed
  ace5582
- Record the term-by-term product's changed answers
  
  Rafael-SOWNet
  and
  claude
  committed
  7958a64