∀ (cls : Lean.Name) (startTime stopTime : Float) (collapsed : Bool) (tag : String) (cls_1 : Lean.Name)
  (startTime_1 stopTime_1 : Float) (collapsed_1 : Bool) (tag_1 : String),
  ({ cls := cls, startTime := startTime, stopTime := stopTime, collapsed := collapsed, tag := tag } =
      { cls := cls_1, startTime := startTime_1, stopTime := stopTime_1, collapsed := collapsed_1, tag := tag_1 }) =
    (cls = cls_1 ∧ startTime = startTime_1 ∧ stopTime = stopTime_1 ∧ collapsed = collapsed_1 ∧ tag = tag_1)