Entry	Value
Package Name	natural-distance-def
Count	1
Theorems	dist : !m n. dist m n = (if m <= n then n - m else m - n)

Back to main package page