运行下面代码后得到相应的输出结果，请问是用了哪一种推导公式？（ ）
a = [i for i in range(10) if i % 3 ==0]
print(a)
#output: [0, 3, 6, 9]
集合推导公式
字符串推导公式
列表推导公式
元组推导公式