Theorem CategoryTheory.Monad.leftAdjoint_forget

Modification history