mathlib
bea76514 - feat(category_theory/monad): construct isomorphisms of algebras (#5678)

Commit

5 years ago

feat(category_theory/monad): construct isomorphisms of algebras (#5678)

Author

b-mehta

b-mehta

Parents

Loading