PR !4#28056: wip: existence of Riemannian metrics

Stream: triage

[Random Issue Bot]

Today I chose PR #28056 for discussion!

wip: existence of Riemannian metrics
Created by @Michael Rothgang (@grunweg) on 2025-08-06
Labels: WIP, merge-conflict, t-differential-geometry

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

This topic is being actively worked on; #33714 is where current progress is happening.