Theorem CategoryTheory.Limits.wideEqualizer.condition

Modification history