Theorem CategoryTheory.rightAdjointSquare.comp_vhcomp

Modification history