Def CategoryTheory.CosimplicialObject.truncation

Modification history