∀ (foundLine foundFlattenedHardLine : Bool) (space : ℕ) (foundLine_1 foundFlattenedHardLine_1 : Bool) (space_1 : ℕ),
  ({ foundLine := foundLine, foundFlattenedHardLine := foundFlattenedHardLine, space := space } =
      { foundLine := foundLine_1, foundFlattenedHardLine := foundFlattenedHardLine_1, space := space_1 }) =
    (foundLine = foundLine_1 ∧ foundFlattenedHardLine = foundFlattenedHardLine_1 ∧ space = space_1)