Commit 2019-07-05 05:02 4af39760
View on Github →chore(category_theory): cleanup (#1173)
- chore(category_theory): cleanup
- oops
- remove comment
- more uniform?
- fix stalks proof?
- Update src/algebra/CommRing/basic.lean Co-Authored-By: Johan Commelin johan@commelin.net
- Apply suggestions from code review Co-Authored-By: Johan Commelin johan@commelin.net