en sequent calculi (n)
― FormOf ⟶
Weight: 1.0
en sequent calculus Source: English Wiktionary