Theorem CategoryTheory.Limits.BinaryFan.ext_hom_hom

Modification history