Entry	Value
Package Name	bool-ext
Count	2
Theorems	EQ_EXT : !f g. (!x. f x = g x) ==> f = g FUN_EQ_THM' : !f g. (!x. f x = g x) <=> f = g

Back to main package page