Theorem CategoryTheory.CostructuredArrow.IsUniversal.hom_desc

Modification history