Theorem Set.range_pair_subset

Modification history