Def CategoryTheory.Limits.isInitialEquivUnique

Modification history