Skip to content

9i: lift Bochner stack (BochnerExpansion + PerSummand) to explicit g via subst hg#44

Merged
Xinze-Li-Moqian merged 6 commits into
mainfrom
refactor/explicit-g-9i
May 18, 2026
Merged

9i: lift Bochner stack (BochnerExpansion + PerSummand) to explicit g via subst hg#44
Xinze-Li-Moqian merged 6 commits into
mainfrom
refactor/explicit-g-9i

9i: lift PerSummand.lean to explicit g (via subst hg pattern)

535e923
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar