PR !4#26087: feat: a `SliceModel` typeclass for models wi...

Stream: triage

[Random Issue Bot]

Today I chose PR #26087 for discussion!

feat: a SliceModel typeclass for models with corners for embedded submanifolds
Created by @None (@grunweg) on 2025-06-18
Labels: t-differential-geometry

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

[Michael Rothgang]

Still relevant (and awaiting review); the larger sequence of PRs is making progress slowly.