Description: Extend the definition of a wff to include the antisymmetry relation predicate. (Read: R is an antisymmetric relation.)
| Ref | Expression | ||
|---|---|---|---|
| Assertion | wantisymrel | Could not format assertion : No typesetting found for wff AntisymRel R with typecode wff |