Theorem CategoryTheory.rightAdjointSquare.comp_hvcomp

Modification history