Theorem CategoryTheory.Equivalence.adjointify_η_ε

Modification history