theorem
step_one_dim_sub
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.