Theorem CategoryTheory.HasLiftingProperty.iff_of_arrow_iso_right

Modification history

2026-06-24 10:57
Mathlib/CategoryTheory/LiftingProperties/Basic.lean
chore(CategoryTheory/LiftingProperties/Basic): use `to_dual` more (#40943) …
Deleted CategoryTheory.HasLiftingProperty.iff_of_arrow_iso_rightView on Github →
2023-02-22 03:15
Mathlib/CategoryTheory/LiftingProperties/Basic.lean
feat: port CategoryTheory.LiftingProperties.Basic (#2325)
Added CategoryTheory.HasLiftingProperty.iff_of_arrow_iso_rightView on Github →