Theorem CategoryTheory.Limits.equalizer.hom_ext

Modification history