Theorem SSet.Truncated.Path.map_interval

Modification history