Skip to content

feat: generalize induce-univ correlation to any full set — #2965#2985

Merged
phasetr merged 2 commits into
mainfrom
feat/correlation-induce-forall-mem-2965
May 26, 2026
Merged

feat: generalize induce-univ correlation to any full set — #2965#2985
phasetr merged 2 commits into
mainfrom
feat/correlation-induce-forall-mem-2965

Commits

Commits on May 26, 2026