path: root/examples/tutch/support/hw3_6a.req

proof apply : (!x:t.A(x) => B(x)) => (!x:t.A(x)) => (!x:t.B(x));