Theorem List.le_minimum_of_mem'

Modification history