(*args)
return get_env().formula_manager.And(*args)
r""".. math:: \varphi_0 \land \cdots \land \varphi_n
r""".. math:: \varphi_0 \land \cdots \land \varphi_n
r .. math :: \ varphi_0 \ land \ cdots \ land \ varphi_n
def And(*args):
    r""".. math:: \varphi_0 \land \cdots \land \varphi_n """
    return get_env().formula_manager.And(*args)
def And ( * args ) : return get_env ( ) . formula_manager . And ( * args )