📝 Finish Formalizing 4626

[transmissions11]

• [ ] talk about exchange rate getting reset on 0? i need to think more about that anyway like wouldn't there still be some asset once its minted? idk.
• [ ] add the other functions, use piecewise for conversions because it gets reset
• [ ] account for truncating integer semantics
• [ ] use begin equation, diagrams for rounding would be nice, etc