Structure CategoryTheory.SimplicialObject.Augmented.ExtraDegeneracy

Modification history