Theorem CategoryTheory.Equivalence.cancel_counitInv_right_assoc'

Modification history