Theorem CategoryTheory.Equivalence.cancel_unit_right_assoc'

Modification history