Documentation

Lean 4 Proof

theorem automation_urgency :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Applications/FairInheritance.lean:461

Module Section

Fair Inheritance: Taxing Concentration, Not Transfer

In the same file