Documentation

Lean 4 Proof

def institutionalQuality (tree_coeff : ℝ) (J : ℕ) (Fbar : ℝ) : ℝ :=
  tree_coeff * ↑J * Fbar

Dependency Graph

Used by

Location

thesis/CESProofs/Hierarchy/Defs.lean:202

Module Section

Core definitions for the Lean formalization of Paper 4:

In the same file