Def CategoryTheory.Monad.MonadicityInternal.comparisonLeftAdjointHomEquiv

Modification history