implicit sequent

Мат. неявная секвенция