Def CategoryTheory.Limits.multispanShapeCoend

Modification history