Documentation

Lean 4 Proof

def netUserCost (B_content R_training : ℝ) : ℝ :=
  B_content - R_training

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:382

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file