Theorem CategoryTheory.StructuredArrow.IsUniversal.uniq

Modification history