Theorem CategoryTheory.Functor.isRightKanExtension_iff_postcomp₁

Modification history