Célio Passos

That helps a bit, but I believe a FocusStart would be better.

I agree. Do you have a solution? I know how to solve it if we can take a basis of V, but how to do it if Axler avoids basis...

@dylan-robins I managed to do it, forgot to mention it here, although the automated tests failed, see #240.