Theorem CategoryTheory.StructuredArrow.IsUniversal.existsUnique

Modification history