Def CategoryTheory.simplicialCosimplicialEquiv

Modification history