Theorem CategoryTheory.CostructuredArrow.IsUniversal.hom_ext

Modification history