Theorem CategoryTheory.Equivalence.mkHom_comp

Modification history