Theorem List.drop_eq_nil_iff_le

Modification history