Registry · Definition II.D13 established formalized

II.D13 — Ultrametric Distance

Ultrametric Distance

Book II Part 2 Ch. 10

Dependency Graph

Depends on (1)

Depended on by (14)

Lean Formalization

Module: TauLib.BookII.Domains.Ultrametric

Symbol: ultra_dist