Registry · Definition II.D12 established formalized

II.D12 — First Disagreement Depth

First Disagreement Depth

Book II Part 2 Ch. 10

Dependency Graph

Depends on (2)

II.D10 I.T18

Depended on by (2)

II.D13 II.T05

Lean Formalization

Module: TauLib.BookII.Domains.Ultrametric

Symbol: disagree_depth