Def category_theory.simplicial_object.augmented.whiskering

Modification history