Def CategoryTheory.Functor.RightExtension.isPointwiseRightKanExtensionEquivOfIso

Modification history