Def CategoryTheory.CosimplicialObject.Truncated

Modification history