MathDB1 problem
Andrews–Curtis conjecture. Any two contractible simple polyhedra can be related by a sequence of pentagon, hexagon, and - moves and their inverses, ignoring all gleams.
Andrews–Curtis conjecture. Any two contractible simple polyhedra can be related by a sequence of pentagon, hexagon, and - moves and their inverses, ignoring all gleams.