Registry · Proposition VI.P23 tau-effective not_formalized

VI.P23 — Neural Defect Monotonicity

At each level i, defect functional Delta_i(n) is monotonically non-decreasing; total neural defect sum inherits monotonicity from VI.D43.

Book VI Part 6 Ch. 40

Dependency Graph

Depends on (2)

VI.D87 VI.D43

Depended on by (1)

VI.T54

Lean Formalization

Module:

Symbol: