(variables, formula)
return get_env().formula_manager.ForAll(variables, formula)
r""".. math:: \forall v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)
r""".. math:: \forall v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)
r .. math :: \ forall v_1 \ cdots v_n . \ varphi ( v_1 \ cdots v_n )
def ForAll(variables, formula):
    r""".. math:: \forall v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)"""
    return get_env().formula_manager.ForAll(variables, formula)
def ForAll ( variables , formula ) : return get_env ( ) . formula_manager . ForAll ( variables , formula )