succedent
succedent · succedents
The formulas on the right-hand side of a sequentThe formulas on the right-hand side of a sequent.
Значення
значень: 1The formulas on the right-hand side of a sequent.
Форми
множина: succedents| Однина | succedent |
|---|---|
| Множина | succedents |
правильне