Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

QI_ss

bossLib.QI_ss : ssfrag

Simpset-fragment for instantiating quantifiers with some default heuristics.

QI_ss is short for QUANT_INST_ss [std_qp].

See also

bossLib.QI_TAC, quantHeuristicsLib.QUANT_INST_ss