Theorem SSet.Truncated.spine_arrow

Modification history