Def CategoryTheory.SimplicialObject.Augmented.whiskering

Modification history