Theorem CategoryTheory.isRightAdjoint_triangle_lift_monadic

Modification history