The statement of Mochizuki’s corollary 3.12: initial theta data
摘要
We show that Mochizuki’s initial theta data is computable from an elliptic curve defined over