mathlib3
feat(category_theory/limits): derive has_binary_products from has_limit (pair X Y)
#2139
Merged
Overview
Commits
3
Changes
View On GitHub
Commits
  • feat(category_theory/limits): derive has_binary_products from has_limit (pair X Y)
    TwoFX committed 6 years ago
  • Rename *_of_diagram to diagram_iso_*
    TwoFX committed 6 years ago
  • Merge branch 'master' into shape-iso
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading