Theorem CategoryTheory.SimplicialObject.δ_comp_δ

Modification history