Deductions & credits

So it seems that the $1600 does not have to be prorated because we have HDHP family coverage and share the $7100 HSA contribution limit (for 2020). I appreciate the explanation and am also wondering if there an IRS link that would explain this so that I have something to keep with my records. Thanks.