The Bottman–Wehrheim immersed composition conjecture
Bottman–Wehrheim conjecture. There is an isomorphism
MathDB