PR #17302: feat(geometry/manifold/vector_bundle): `smooth...

Stream: triage

[Random Issue Bot]

Today I chose PR 17302 for discussion!

feat(geometry/manifold/vector_bundle): smooth_fiberwise_linear groupoid
Created by @Heather Macbeth (@hrmacbeth) on 2022-11-01
Labels: delegated, t-differential-geometry

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

[Kevin Buzzard]

Delegated??