Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] definition


view this post on Zulip Email Gateway (Aug 22 2022 at 12:53):

From: Omar Jasim <oajasim1@sheffield.ac.uk>
Hi

Please I have this definition:
"Sin T R = {u| u. ∀t∈T. ∃!x∈R. (t,x)∈ u }"

and I tried to prove that x∈u then u∈ Sin T R but I couldn't.

rgds
Omar


Last updated: Apr 16 2024 at 16:19 UTC