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