Skip to content

wip: existence of Riemannian metrics#28056

Closed
grunweg wants to merge 25 commits into
leanprover-community:masterfrom
grunweg:exists-Riemannian-metric
Closed

wip: existence of Riemannian metrics#28056
grunweg wants to merge 25 commits into
leanprover-community:masterfrom
grunweg:exists-Riemannian-metric

Commits

Commits on Aug 27, 2025