Def CategoryTheory.CosimplicialObject.truncationCompTrunc

Modification history