Theorem CategoryTheory.Functor.HasRightKanExtension.mk

Modification history