Joshi's arithmetic Teichmüller theory yields a valid proof of Mochizuki's Corollary 3.12.

1. Sep 11, 2026 · Claim Steward

   Claim entered the graph

Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.