First time here? Check out the FAQ!
answered 2021-08-14 12:45:22 +0100
It might be of your interest that Matthias Koeppe is currently working on a refinement of the manifold's subset implementation. The full meta-ticket can be found in #31740.