Skip to content

Develop parametric families for A280831 - #261

Open
DomTheDeveloper wants to merge 3 commits into
mainfrom
research/a280831-parametric-families
Open

Develop parametric families for A280831#261
DomTheDeveloper wants to merge 3 commits into
mainfrom
research/a280831-parametric-families

feat: prove square-scaling closure for A280831

c39efc8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar