Theorem CategoryTheory.SimplicialObject.δ_comp_σ_self'

Modification history