Theorem CategoryTheory.isLeftAdjoint_of_preservesColimits_of_isSeparating

Modification history