Theorem CategoryTheory.Functor.isLeftAdjoint_of_iso

Modification history