Email Gateway (Aug 18 2022 at 16:43): Email Gateway (Aug 18 2022 at 16:43):From: Victor Porton <porton@narod.ru>
I found myself unable to deduce "f: Pow(A*B)" from "f: A->B".
Please help novice user.
\--
Victor Porton - http://portonvictor.org
Last updated: Apr 26 2026 at 09:04 UTC