Theorem CategoryTheory.Monad.MonadicityInternal.unitCofork_π

Modification history