Theorem 2.4 — a proper $K$-lift gives a $K$-factorization of $S_C$, and a $K$-factorization gives a $K$-lift

Initializing...

Theorem 2.4 — a proper $K$-lift gives a $K$-factorization of $S_C$, and a $K$-factorization gives a $K$-lift · Prove2Me