Def CategoryTheory.cosimplicialToSimplicialAugmented

Modification history