mathlib3
feat(category_theory/limits): the isomorphism expressing preservation of chosen limits
#2192
Merged
Overview
Commits
4
Changes
View On GitHub
Commits
  • feat(category_theory/limits): the isomorphism expressing preservation of chosen limits
    kim-em committed 5 years ago
  • Update src/category_theory/limits/limits.lean
    jcommelin committed 5 years ago
  • merge
    kim-em committed 5 years ago
  • Merge branch 'master' into preserves_limit_iso
    mergify[bot] committed 5 years ago
FAQ Terms Privacy Refunds Impressum
Loading