Theorem CategoryTheory.isLeftAdjoint_square_lift

Modification history