Def CategoryTheory.simplicialCosimplicialAugmentedEquiv

Modification history