Def CategoryTheory.Limits.multispanIndexCoend

Modification history