TY  - RPRT
TI  - Tight complexity bounds for diagram commutativity verification
AU  - Artem Malko
AU  - Igor Spiridonov
PY  - 2025
UR  - https://arxiv.org/abs/2509.11331
ID  - 2509.11331
ER  -