Theorem Set.range_list_getD

Modification history