Def CategoryTheory.SimplicialObject.truncationCompTrunc

Modification history