[STATEMENT]
lemma not_trimmed_pos_MSLNil [simp]: "\<not>trimmed_pos (MS MSLNil f)"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. \<not> trimmed_pos (MS MSLNil f)
[PROOF STEP]
by (simp add: trimmed_pos_ms_iff)