[isabelle] About mem and set



I can prove the following lemma

"x \<in> {} = x mem []"

but, simplyfing this one

"x mem [] = x \<in> {}"

it results as False.

thanks in advance,
Cristiano Longo






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.