Полный англо-русский словарь
implicit sequence
Мат. неявная последовательность
Полный англо-русский словарь
implicit rule
implicit sequent