Theorem CategoryTheory.solutionSetCondition_of_isRightAdjoint

Modification history