Tree-safe repair of $P_n\cdot T$ needs at least $n$ auxiliary letters · Prove2Me

P

Initializing...

Tree-safe repair of $P_n\cdot T$ needs at least $n$ auxiliary letters · Prove2Me