Def CategoryTheory.Limits.IsLimit.ofRightAdjoint

Modification history