Theorem CategoryTheory.Functor.isLeftKanExtension_of_iso

Modification history