Theorem CategoryTheory.Equivalence.isRightAdjoint_functor

Modification history