Theorem CategoryTheory.CostructuredArrow.unop_left_comp_underlyingIso_hom_unop

Modification history

2023-04-25 06:01
Mathlib/CategoryTheory/Subobject/Comma.lean
feat: port CategoryTheory.Subobject.Comma (#3502)
Added CategoryTheory.CostructuredArrow.unop_left_comp_underlyingIso_hom_unopView on Github →