Theorem Set.range_extend

Modification history