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