Theorem CategoryTheory.Monad.Algebra.id_eq_id

Modification history