Def CategoryTheory.Monad.MonadicityInternal.comparisonLeftAdjointObj

Modification history