Def category_theory.simplicial_object.augmented.whiskering_obj

Modification history