I have checked on ProSeries and they do not see the electronic copy of the e-file like we do in Lacerte, however if the date in the return was 4/15, this would be what ProSeries sent to the IRS. I would contact the IRS about the payment https://www.irs.gov/payments/pay-taxes-by-electronic-funds-withdrawal