Theorem CategoryTheory.hasStrictInitial_of_isUniversal

Modification history