Skip to content

9h (part 1): lift remaining RiemannCurvature theorems to explicit g#42

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

9h (part 1): lift remaining RiemannCurvature theorems to explicit g#42
Xinze-Li-Moqian merged 4 commits into
mainfrom
refactor/explicit-g-9h

9h: lift ricci_symm to explicit g via (hg : g = hm.metric) hypothesis

7cea282
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar