*): "composition" of `charted_space` and `has_groupoid` instances (#17305)

Commit

3 years ago

feat(geometry/manifold/*): "composition" of `charted_space` and `has_groupoid` instances (#17305)

Author

hrmacbeth

Parents