mathlib3

429ca239 - Copyedits at lifting_property, suggested changes by Scott Morrison in category_theory/arrow.lean