Theorem SSet.StrictSegal.spine_δ_arrow_eq

Modification history