order-ax
Top-level context.
Axioms for partial order relations
Primitive symbols:
Sym
Comment
(
)
Axioms:
Name
Comment
ax-refl
ax-tr
Definitions:
Name
Sym
Comment
df-equ
(
)
df-neq
(
)
df-psub
(
)
))
)
)
)