Theorem CategoryTheory.Functor.isLeftKanExtension_iff_of_iso₂

Modification history