import Data.List

main = do
  getLine
  as <- map read . words <$> getLine :: IO [Int]
  putStrLn $ show (ans as)

ans :: [Int] -> String
ans as = if length as == length (nub as)
            then "Yes"
            else "No"
