Theorem CategoryTheory.Monad.ofRightAdjoint_forget

Modification history