Theorem CategoryTheory.CosimplicialObject.δ_comp_δ_self'

Modification history