Eh, for retaining muscle density & mass I'll defer to sports medicine tradition and what I learned from trained coaches there—
Healthline also posts articles saying it's important to eat right after exercise, so I gather they aren't speaking unilaterally in either case: