P
Initializing...
(74): coloured Yang–Baxter identity for the dimension-two family · Prove2Me