English edit

Noun edit

hypersequents

  1. plural of hypersequent