mathlib

d6707462 - feat(category_theory/monad/algebra): Add faithful instances. (#4227)

feat(category_theory/monad/algebra): Add faithful instances. (#4227) Adds a `faithful` instance for the forgetful functors from the Eilenberg Moore category associated to a (co)monad.