extent-ax
Top-level context.
Axiom of Extensionality
Primitive symbols:
Sym
Comment
(
)
Axioms:
Name
Comment
ax-el<
Definitions:
Name
Sym
Comment
df-equ
(
)
df-nel
(
)
df-neq
(
)
df-psub
(
)
df-sub
(
)
))
)
)
)
)
)