[isabelle] Domain proof



Hi,

how can i prove

lemma "dom (SOME b. dom b = A) = A"

Thank you!
 		 	   		  


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