Structure CategoryTheory.Localization.StrictUniversalPropertyFixedTarget

Modification history