mathlib3
feat(category_theory): limits in CommRing
#1006
Merged
Overview
Commits
10
Changes
View On GitHub
Commits
  • feat(category_theory): limits in CommRing
    kim-em committed 7 years ago
  • by
    kim-em committed 7 years ago
  • Merge branch 'master' into CommRing-limits
    kim-em committed 7 years ago
  • rename
    Scott Morrison committed 7 years ago
  • Merge branch 'master' into CommRing-limits
    kim-em committed 7 years ago
  • sections
    Scott Morrison committed 7 years ago
  • Merge branch 'CommRing-limits' of github.com:leanprover-community/mathlib into CommRing-limits
    Scott Morrison committed 7 years ago
  • Update src/category_theory/types.lean
    kim-em committed 7 years ago
  • Merge branch 'master' into CommRing-limits
    kim-em committed 7 years ago
  • Merge branch 'master' into 'CommRing-limits'
    mergify-bot committed 7 years ago
FAQ Terms Privacy Refunds Impressum
Loading