Def CategoryTheory.CosimplicialObject.Augmented.whiskeringObj

Modification history