Theorem CategoryTheory.Limits.equalizer.isoSourceOfSelf_inv

Modification history