Documentation

Lean 4 Proof

theorem marketplace_sustainability {R_mp R_min : ℝ}
    (h : R_min < R_mp) : R_min < R_mp := h

Dependency Graph

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:424

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file