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: Sep 08 2025 at 16:25 UTC