Theorem CategoryTheory.StructuredArrow.IsUniversal.hom_ext

Modification history