Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-02 13:45 dbc03394

View on Github →

feat(category_theory/limits/shapes/types): explicit isos (#13854) Requested on Zulip. https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/Relating.20the.20categorical.20product.20and.20the.20normal.20product

Estimated changes