Theorem CategoryTheory.Limits.equalizer.isoSourceOfSelf_hom

Modification history