Theorem CategoryTheory.Limits.equalizer.condition

Modification history