∀ {offset : Std.Time.TimeZone.Offset} {name abbreviation : String} {isDST : Bool} {offset_1 : Std.Time.TimeZone.Offset}
  {name_1 abbreviation_1 : String} {isDST_1 : Bool},
  { offset := offset, name := name, abbreviation := abbreviation, isDST := isDST } =
      { offset := offset_1, name := name_1, abbreviation := abbreviation_1, isDST := isDST_1 } →
    offset = offset_1 ∧ name = name_1 ∧ abbreviation = abbreviation_1 ∧ isDST = isDST_1