Theorem category_theory.monad.algebra.hom.ext
Modification history
2020-01-29 18:36
src/category_theory/monad/algebra.lean
chore(category_theory): use the new @[ext] attribute on structures (#1663) …
Deleted category_theory.monad.algebra.hom.extView on Github →