Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes