Theorem CategoryTheory.leftAdjointSquare.comp_hvcomp

Modification history