In negative twist (`n ≤ d`), the finite Čech differential of the two-chart cover, truncated at level `n`, is injective.

Initializing...

In negative twist (`n ≤ d`), the finite Čech differential of the two-chart cover, truncated at level `n`, is injective. · Prove2Me