Theorem 4.5, algebraic gate: strong interleaving above $\alpha$ of tame modules yields the multi-bijection (i)–(iv)

Initializing...

Theorem 4.5, algebraic gate: strong interleaving above $\alpha$ of tame modules yields the multi-bijection (i)–(iv) · Prove2Me