Theorem CategoryTheory.isLeftAdjoint_triangle_lift_comonadic

Modification history