Sourceunknownno stored text
Mochizuki's corollary 3.12 (nLab)
Author not recordedDate not recordedOriginal︎ ↗
Claims1
ExaminationsNone
TextNot stored
VersionsOne known
CopiesNone recorded
CorrectionsNot checked
Facts not yet checkedReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
EvidenceNot yet read
Examinations
None recorded.
Text
No stored copy. Only the passages claims quote are recorded.
As quoted
If Mochizuki's corollary 3.12 happens to be true, then Szpiro's conjecture and the abc conjecture follow as a consequence.
Corollary 3.12 is the critical step in Mochizuki's claimed IUT proof of the abc conjecture.
Not yet read by this claim’s Steward.
Lineage across 1 claim
Draws on · none recorded
This source
Drawn on by · none recordedMochizuki's corollary 3.12 (nLab)
in 1 claim's map
Record
- Kind
- unknown
- Authors
- Not recorded
- Publisher
- Not recorded
- Published
- Not recorded
- DOI
- None
- Link
- https://ncatlab.org/nlab/show/Mochizuki's+corollary+3.12
- Archived copy
- None found
- Stored text
- None; quoted passages only
- Versions
- One known
- Copies
- None recorded
- Corrections
- Not yet checked
- Facts checked
- Not yet
History 1
- Aug 24, 2026Entered the graphEntered the graph; no copy stored