Theorem SSet.map_interval

Modification history