Theorem CategoryTheory.Limits.pushout.hom_ext

Modification history