Theorem CategoryTheory.Limits.equalizer.lift_ι

Modification history