Theorem CategoryTheory.Limits.isIso_of_isInitial

Modification history