[isabelle] prove set (tl L) ⊆ set L



Hello!


how can i prove this result:


lemma "set (tl L) ⊆ set L"


Thank you!
 		 	   		  


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