Skip to content

#70: Cai–Govorov simple-graph orbit separation — general descent theorem + rank theorem (axiom-clean)#2

Merged
cameronfreer merged 32 commits into
masterfrom
70-cai-govorov-simple-orbit
Jul 2, 2026
Merged

#70: Cai–Govorov simple-graph orbit separation — general descent theorem + rank theorem (axiom-clean)#2
cameronfreer merged 32 commits into
masterfrom
70-cai-govorov-simple-orbit

Commits

Commits on Jun 27, 2026

Commits on Jun 28, 2026

Commits on Jun 30, 2026

Commits on Jul 2, 2026