Theorem CategoryTheory.CosimplicialObject.δ_comp_σ_self

Modification history