Theorem List.drop_eq_nil_of_le

Modification history