Theorem CategoryTheory.isRightAdjoint_triangle_lift

Modification history