It seems to me that something equivalent to MultiPTLC is somewhat trivial to achieve by simply building on top of trampoline, isn’t it?
It seems to me that something equivalent to MultiPTLC is somewhat trivial to achieve by simply building on top of trampoline, isn’t it?