Theorem CategoryTheory.isRightAdjoint_of_preservesLimits_of_isCoseparating

Modification history