Theorem CategoryTheory.HasLiftingProperty.of_arrow_iso_left

Modification history

2023-02-22 03:15
Mathlib/CategoryTheory/LiftingProperties/Basic.lean
feat: port CategoryTheory.LiftingProperties.Basic (#2325)
Added CategoryTheory.HasLiftingProperty.of_arrow_iso_leftView on Github →