The personal webpage of Jonathan Günthner

I am a mathematician that likes to code (and a squirrel) .
I am currently studying in my 4th semester at the university in Augsburg and struggling with depression. Perhaps the algebra has gotten to me...
Did you know that \newcommand{\ord}{\mathop{\text{ord}}} \ord_{p^k}(m) = \ord_{p}(m) \cdot p^{\max(0, k - k_0 + 1)} for p\not=2?
Kind regards,
J. Günthner
P.S.:
Here are a couple of links: