Localization: a safe extension inside one residue class lifts to the whole tree-safe word

Initializing...

Localization: a safe extension inside one residue class lifts to the whole tree-safe word · Prove2Me