[STATEMENT]
lemma max_Var_floatariths_map_uminus[simp]:
  "max_Var_floatariths (map (\<lambda>i. - fa1 i) xs) = max_Var_floatariths (map fa1 xs)"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. max_Var_floatariths (map (\<lambda>i. - fa1 i) xs) = max_Var_floatariths (map fa1 xs)
[PROOF STEP]
by (auto simp: max_Var_floatariths_Max image_image Max_Image_distrib)