Def CategoryTheory.Functor.RightExtension.isPointwiseRightKanExtensionAtEquivOfIso

Modification history