Theorem CategoryTheory.CosimplicialObject.δ_comp_σ_of_le

Modification history