Def CategoryTheory.CosimplicialObject.Truncated.whiskering

Modification history