Thread:TMNTSubspace/@comment-5047798-20170606195916/@comment-2211338-20170606203448

I'm still working on that, but it shouldn't be too long.