Theorem CategoryTheory.Equivalence.unit_inverse_comp

Modification history