Theorem List.mem_range'

Modification history