set-extent-ax
Top-level context.
Axiom of Extensionality (for sets)
Primitive symbols:
Sym
Comment
(
)
Axioms:
Name
Comment
ax-el<
ax-el>
ax-ext
Definitions:
Name
Sym
Comment
df-bvt
df-nel
(
)
df-neq
(
)
df-psub
(
)
df-sbt
df-sub
(
)
))
)
)
)
)