Theorem CategoryTheory.Equivalence.cancel_unit_right_assoc

Modification history