Registry · Definition II.D13 established formalized

II.D13 — Ultrametric Distance

Ultrametric Distance

Book II Part 2 Ch. 10

Dependency Graph

Depends on (1)

II.D12

Depended on by (14)

II.D18a II.D19 II.D20 II.D23 II.D24 II.D34 II.P04 II.R07 II.T05 II.T08 II.T15 II.T16 II.T20 II.D91

Lean Formalization

Module: TauLib.BookII.Domains.Ultrametric

Symbol: ultra_dist