Theorem Set.subset_range_enumerate

Modification history