Theorem CategoryTheory.Limits.Sigma.ι_reindex_inv

Modification history