Theorem CategoryTheory.Monad.Algebra.comp_eq_comp

Modification history