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