FRONT_CONJ_CONV: (term list -> term -> thm)
|- (t1 /\ ... /\ t /\ ... /\ tn) = (t /\ t1 /\ ... /\ tn)