Theorem CategoryTheory.Equivalence.inverse_counitInv_comp

Modification history