Q_pもリー群もリー環も指数写像も知らないで、指数関数は複素数で終わりだとか
偉そうに語ってたとか、ウケるｗ