Entry	Value
Package Name	axiom-extensionality
Count	1
Theorems	ETA_AX : !t. (\x. t x) = t

Back to main package page