Theorem CategoryTheory.Functor.isRightAdjoint_of_iso

Modification history