Theorem CategoryTheory.leftAdjointSquare.comp_vhcomp

Modification history