Three former Penn swimmers have brought a lawsuit over the participation of transgender swimmer Lia Thomas three years ago.