VariousWords beta
Related Terms:
Noun
Definition: The formulas on the right-hand side of a sequent.
Adjective
Definition: That succeeds; succeeding, following
VariousWords beta
Definition: The formulas on the right-hand side of a sequent.
Definition: That succeeds; succeeding, following