Theorem CategoryTheory.isRightAdjoint_square_lift

Modification history