Entry	Value
Package Name	relation-natural-def
Count	2
Theorems	MEASURE : !m x y. MEASURE m x y <=> m x < m y successor_def : !m n. successor m n <=> SUC m = n

Back to main package page