Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-08 20:54 73abe2e1

View on Github →

fix(category_theory/products): fix types of inl/inr/fst/snd (#320)

Estimated changes