Def CategoryTheory.CosimplicialObject.Augmented.whiskering

Modification history