Theorem CategoryTheory.Limits.ImageMap.map_uniq

Modification history