∀ {count : ℕ} {mean var : Float} {count_1 : ℕ} {mean_1 var_1 : Float},
  { count := count, mean := mean, var := var } = { count := count_1, mean := mean_1, var := var_1 } →
    count = count_1 ∧ mean = mean_1 ∧ var = var_1