Theorem CategoryTheory.Monad.algebra_iso_of_iso

Modification history