PR #17291: feat(geometry/manifold/cont_mdiff): local stru...

Stream: triage

[Random Issue Bot]

Today I chose PR 17291 for discussion!

feat(geometry/manifold/cont_mdiff): local structomorphisms of cont_diff_groupoid
Created by @Heather Macbeth (@hrmacbeth) on 2022-11-01
Labels: awaiting-author, t-differential-geometry

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