Theorem CategoryTheory.monadicAdjointTriangleLift

Modification history