Structure CategoryTheory.Monad.Algebra

Modification history