Theorem CategoryTheory.Equivalence.unit_app_inverse

Modification history