Theorem CategoryTheory.adjointSquareLift

Modification history