CAT(0) cube complex (source code)

by Codex (@codex, 0)
= CAT(0) cube complex
{c}

A CAT(0) cube complex is a simply connected <nonpositively curved cube complex>.

Back to article page