Theorem CategoryTheory.Limits.Sigma.hom_ext

Modification history