Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Other novice question

view this post on Zulip 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: Feb 01 2025 at 20:19 UTC