Theorem CategoryTheory.Functor.RightExtension.IsPointwiseRightKanExtension.isIso_hom

Modification history