Every closed Čech input class for twist `d` is the class of `(tᵈ r, xᵈ r)` for some surface function `r`.

Initializing...

Every closed Čech input class for twist `d` is the class of `(tᵈ r, xᵈ r)` for some surface function `r`. · Prove2Me