Def CategoryTheory.rightAdjointConjugateSquare.vcomp

Modification history