Theorem List.length_le_of_sublist

Modification history