Skip to content

PowerSums / CrossPowerSums: checked_affine — power sums of an affine image from the sums alone - #344

Merged
AdaWorldAPI merged 4 commits into
masterfrom
ccr-b2e415d9-4jfvyk-powersums-affine
Oct 8, 2026
Merged

PowerSums / CrossPowerSums: checked_affine — power sums of an affine image from the sums alone#344
AdaWorldAPI merged 4 commits into
masterfrom
ccr-b2e415d9-4jfvyk-powersums-affine

checked_affine: composition holds when both forms succeed; pin a case…

bfafa2f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar