Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-11 11:35 4ce27a5d

View on Github →

feat(category_theory/limits): filtered colimits commute with finite limits (in Type) (#4046)

Estimated changes