PR !4#9273: feat: extended charts are local diffeomorphis...

Stream: triage

[Random Issue Bot]

Today I chose PR #9273 for discussion!

feat: extended charts are local diffeomorphisms on their source
Created by @None (@grunweg) on 2023-12-25
Labels: merge-conflict, t-differential-geometry

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