Theorem CategoryTheory.Limits.equalizer.fork_ι

Modification history