theorem proved wrapper

`clusteringRatio_pos`

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

formal statement (Lean)

  86theorem clusteringRatio_pos : 0 < clusteringRatio :=

One-line wrapper that applies div_pos.

  87  div_pos one_pos phi_pos
  88

Lean names referenced from this declaration's body.

clusteringRatio in IndisputableMonolith.NetworkScience.SmallWorldFromSigma decl_use