Commit 2019-07-29 14:13 ee15f68e
View on Github →doc(category_theory): adding headers and basic comments to files without (#1264)
- doc(category_theory): adding headers and basic comments to files without
- Update src/category_theory/instances/rel.lean Co-Authored-By: Johan Commelin johan@commelin.net
- fix imports
- more comments, references
- refs
- Update src/category_theory/monad/adjunction.lean Co-Authored-By: Rob Lewis Rob.y.lewis@gmail.com
- fixing all the copyright headers
- Update src/category_theory/monad/adjunction.lean Co-Authored-By: Rob Lewis Rob.y.lewis@gmail.com
- fix import