# Theorem category_theory.arrow.lift_mk'_right

#### Modification history

2022-08-11 16:07

src/category_theory/arrow.lean

refactor(category_theory/lifting_properties): refactor lifting properties using comm_sq (#15765)

Deleted category_theory.arrow.lift_mk'_rightView on Github →