Theorem CategoryTheory.Limits.Pi.reindex_inv_π

Modification history