Theorem CategoryTheory.CostructuredArrow.hom_eq_iff

Modification history