Theorem CategoryTheory.Limits.coequalizer.isoTargetOfSelf_inv

Modification history