mathlib
3c5d5c51 - feat(category_theory/monad): reflector preserves terminal object (#5649)

Commit

4 years ago

feat(category_theory/monad): reflector preserves terminal object (#5649)

Author

b-mehta

b-mehta

Parents

Loading