Def CategoryTheory.CosimplicialObject.Augmented

Modification history