For `(t, x)`-adically complete `R`, the map from `R` to compatible Čech threads is injective.

Initializing...

For `(t, x)`-adically complete `R`, the map from `R` to compatible Čech threads is injective. · Prove2Me