Theorem List.left_le_of_mem_range'

Modification history