Theorem CategoryTheory.StructuredArrow.IsUniversal.hom_desc

Modification history