Post #1900494

we're secretly doing real analysis in algebraic number theory and secretly doing category theory in Lie algebras everything's coming up me