Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
fish_pure
Modification history
2019-02-03 17:00
src/category/basic.lean
feat(category_theory/kleisli): monoids, const applicative functor and kleisli categories (#660) …
Added
fish_pure
View on Github →