mathlib
e5c112d6 - feat(category_theory/arrow): simp lemmas for lifts involving arrow.mk (#6953)

Commit

4 years ago

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

Author

TwoFX

Parents