Theorem Set.range_list_getElem?

Modification history