Theorem CategoryTheory.Equivalence.cancel_unitInv_right

Modification history