mathlib3
fix(category_theory/limits): require explicit instances of has_zero_morphisms
#2169
Merged
Overview
Commits
3
Changes
View On GitHub
Commits
  • fix(category_theory/limits): require explicit instances of has_zero_morphisms
    TwoFX committed 6 years ago
  • Fix unused arguments
    TwoFX committed 6 years ago
  • Merge branch 'master' into zero
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading