Theorem CategoryTheory.isRightAdjoint_square_lift_monadic

Modification history