Theorem CategoryTheory.Limits.equalizer.ι_of_eq

Modification history