[isabelle] Other novice question



I found myself unable to deduce "f: Pow(A*B)" from "f: A->B".
 
Please help novice user.
 
--
Victor Porton - http://portonvictor.org


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