Theorem CategoryTheory.Limits.wideEqualizer.trident_ι

Modification history