Theorem List.minimum_le_of_mem'

Modification history