P

Initializing...

Garside identity: $\Delta^4 = (\sigma_1\sigma_2)^6$ in $B_3$ · Prove2Me