feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)
#201
| Job | Run time |
|---|---|
| 4s | |
| 3s | |
| 8s | |
| 7s | |
| 4s | |
| 26s |
== on braids decides braid-group equivalence (#50 ruling)
#201
| Job | Run time |
|---|---|
| 4s | |
| 3s | |
| 8s | |
| 7s | |
| 4s | |
| 26s |