Theorem CategoryTheory.Limits.Pi.reindex_hom_π

Modification history