equiv-ax
Top-level context.
Axioms for equivalence relations
Primitive symbols:
Sym
Comment
(
)
Axioms:
Name
Comment
ax-sym
ax-tr
Definitions:
Name
Sym
Comment
df-neq
(
)
))
)