Documentation

Lean 4 Proof

def treeCoefficient (P_cycle : ℝ) (ngm_entry : ℝ) : ℝ :=
  P_cycle / ngm_entry

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Defs.lean:190

Module Section

Core definitions for the Lean formalization of Paper 4:

In the same file