Skip to content

Generalize the sum to (n : R) ^ k * x ^ n from (n : R) ^ 2 * x ^ n - #1

Merged
pepamontero merged 2 commits into
pepamontero:SpecificLimits-LogosWSfrom
Mal-Pat:SpecificLimits-LogosWS
Jul 10, 2026
Merged

Generalize the sum to (n : R) ^ k * x ^ n from (n : R) ^ 2 * x ^ n#1
pepamontero merged 2 commits into
pepamontero:SpecificLimits-LogosWSfrom
Mal-Pat:SpecificLimits-LogosWS

Generalize the sum to `(n : R) ^ k * x ^ n` from `(n : R) ^ 2 * x ^ n`

517f05b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.