Theorem CategoryTheory.CostructuredArrow.IsUniversal.existsUnique

Modification history