Implementation of the general Burau representation for Artin groups #48007
Triggered via pull request
February 3, 2025 20:36
enriqueartal
enriqueartal
unlabeled
#39415
Status
Skipped
Total duration
2s
Artifacts
–