Every open path in a stage of an exhaustive tree-safe chain is eventually closed backwards

Initializing...

Every open path in a stage of an exhaustive tree-safe chain is eventually closed backwards · Prove2Me