Theorem CategoryTheory.Monad.Algebra.comp_f

Modification history