Click a phase or claim to explore its prerequisites and consumers. Solid arrows show attributed proof inputs; dashed arrows show candidate references. External inputs are purple. This graph is a reading aid, not a proof certificate.

Referee assessment for this claim
Source statement or reference
Neighborhood graph
Coverage and limitations