Since he mailed it late enter 0 for the AGI to efile 2020 the IRS still is behind Processing 2019 returns. If he mailed in December they probably haven't even opened it yet. Did he get a tracking number from the post office when he mailed it? That's the only way to know they got it.
