Theorem CategoryTheory.isLeftAdjoint_triangle_lift

Modification history