Entry Value
Package Name axiom-extensionality
Count 1
Theorems
  • ETA_AX : !t. (\x. t x) = t
  • Back to main package page