Theorem CategoryTheory.Limits.BinaryCofan.ext_hom_hom

Modification history