Closed christianneurohr closed 7 years ago
See commit
OK (note that mentionning D in the spanning tree complexity is irrelevant since D is fixed, this can be removed)
See commit