Def CategoryTheory.Localization.strictUniversalPropertyFixedTargetId

Modification history