Theorem CategoryTheory.Functor.RightExtension.IsPointwiseRightKanExtension.isRightKanExtension

Modification history