Theorem SSet.Truncated.spine_map_subinterval

Modification history