• For all diagrams of the form

    if we have

    \[ \text{id}_{F}\mathbin {\star }\alpha =\text{id}_{F}\mathbin {\star }\beta , \]

    then $\alpha =\beta $.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: