Theorem CategoryTheory.Limits.equalizer.existsUnique

Modification history