The generalized Andrews–Curtis conjecture for 2-dimensional CW-pairs
Generalized Andrews–Curtis conjecture. Any two simple-homotopy equivalent 2-dimensional CW-pairs are 2-equivalent.
MathDB