Def CategoryTheory.SimplicialObject.truncation

Modification history