Theorem CategoryTheory.adjointTriangleLift

Modification history