I would certainly appreciate if math papers were more explicit and "hand-holding" but understand why trained mathematicians would find that tedious.
There's no reason except inertia why there couldn't be. Lamport actually proposed a system for this: https://lamport.azurewebsites.net/pubs/lamport-how-to-write.....