History
Mochizuki agrees that under Scholze and Stix's simplifications the argument for Corollary 3.12 yields only a trivial inequality
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.