Three former Penn women's swimmers have filed a lawsuit against the university seeking to remove Lia Thomas' name from record books.