sequents

Definitions:

  • Plural form of <xref>sequent</xref>.
powered by