Def CategoryTheory.Limits.Sigma.reindex

Modification history