Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-29 23:43 e5c112d6

View on Github →

feat(category_theory/arrow): simp lemmas for lifts involving arrow.mk (#6953) These came up during review of #6852.

Estimated changes