Theorem CategoryTheory.Presheaf.isIso_of_isLeftKanExtension

Modification history