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