Def CategoryTheory.CosimplicialObject.Augmented.toArrow

Modification history