Skip to content

math: compact Morse geometry for one actual ordinary H0 interval - #479

Merged
d6g8k5htny-coder merged 2 commits into
mainfrom
codex/c292-compact-morse-elder-20261018
Oct 18, 2026
Merged

math: compact Morse geometry for one actual ordinary H0 interval#479
d6g8k5htny-coder merged 2 commits into
mainfrom
codex/c292-compact-morse-elder-20261018

Merge current main into C292 proof packet without source changes

ec01ddd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar