Theorem CategoryTheory.Limits.PreservesPushout.iso_hom

Modification history