Theorem SSet.Truncated.StrictSegal.spine_δ_arrow_gt

Modification history