Theorem CategoryTheory.isLeftAdjoint_square_lift_comonadic

Modification history