Theorem Set.range_extend_subset

Modification history