Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-09 16:13 a87f62bc

View on Github →

feat(category_theory/limits/preserves): preserving binary products (#5061) This moves and re-does my old file about preserving binary products to match the new API and framework for preservation of special shapes, and also cleans up some existing API. (I can split this up if necessary but they're all pretty minor changes, so hope this is okay!)

Estimated changes