Theorem CategoryTheory.Limits.wideEqualizer.lift_ι

Modification history