Def category_theory.simplicial_object.σ

Modification history