Mathlib Changelog
Changelog
About
Github
Commit
2021-10-23 20:04
14b998b2
View on Github →
docs(control/bifunctor): Add module and defs docstrings (
#9911
)
Estimated changes
Modified
src/control/bifunctor.lean
modified
def
bifunctor.fst
modified
def
bifunctor.snd