Theorem CategoryTheory.Limits.pushout.congrHom_inv

Modification history