lemma other other

`c_ne_zero`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  39lemma c_ne_zero : c ≠ 0 := ne_of_gt c_pos

Lean names referenced from this declaration's body.