Documentation

Lean 4 Proof

def purchaseValue (B p_avg : ℝ) : ℝ := B / p_avg

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:339

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file