Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-12 01:48 b02c529a

View on Github →

feat(category_theory/limits): strengthen simp lemma (#5326) Makes a simp lemma slightly stronger

Estimated changes