Skip to content
Synchronize labels

Implementation of the general Burau representation for Artin groups #47806

Sign in to view logs

Implementation of the general Burau representation for Artin groups

Implementation of the general Burau representation for Artin groups #47806

Triggered via pull request January 31, 2025 05:08
@tscrimtscrim
opened #39415
Status Success
Total duration 12s
Artifacts –

sync_labels.yml

on: pull_request_target
synchronize
3s
synchronize
Fit to window
Zoom out
Zoom in