Theorem CategoryTheory.leftUnitor_inv_braiding

Modification history