Def CategoryTheory.SimplicialObject.Augmented.rightOp

Modification history