Skip to content

ħ framing and the θ₀ match: owner decisions O1–O7 applied (follow-up to #937) - #939

Merged
amaybaum merged 7 commits into
mainfrom
fix/hbar-theta0-20261026
Oct 26, 2026
Merged

ħ framing and the θ₀ match: owner decisions O1–O7 applied (follow-up to #937)#939
amaybaum merged 7 commits into
mainfrom
fix/hbar-theta0-20261026

manuscript: H-slope in Lemma 23.0 and Theorem 23's proofs (#939 revie…

3165af1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar