theorem
p_one_gives_D3
proved
show as:
- papers citing
- none yet
plain-language theorem explainer
No cached prose exists yet. Switch to Lean above to inspect the formal source.
generate explainer
papers checked against this theorem
No papers in the current corpus map onto this theorem yet.