mathlib3
feat(category_theory): images in Ab and Type
#2101
Merged
Overview
Commits
16
Changes
View On GitHub
Commits
  • not stacked on top of limits/colimits
    kim-em committed 6 years ago
  • comment
    kim-em committed 6 years ago
  • add ext to add_monoid_hom.ext
    kim-em committed 6 years ago
  • fix
    kim-em committed 6 years ago
  • cleanup
    kim-em committed 6 years ago
  • merge
    kim-em committed 6 years ago
  • suggestions from review
    kim-em committed 6 years ago
  • Merge remote-tracking branch 'origin/master' into images_in_Ab
    kim-em committed 6 years ago
  • Merge remote-tracking branch 'origin/master' into images_in_Ab
    kim-em committed 6 years ago
  • fix
    kim-em committed 6 years ago
  • use more existing structure
    kim-em committed 6 years ago
  • merge
    kim-em committed 6 years ago
  • fix names
    kim-em committed 6 years ago
  • oops
    kim-em committed 6 years ago
  • linter
    kim-em committed 6 years ago
  • Merge branch 'master' into images_in_Ab
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading