Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] what are the basic axioms for function of fun...

Email Gateway (Aug 22 2022 at 11:03):

From: Mandy Martin <tesleft@hotmail.com>
Hi
what are the basic axioms for function of function?
searching for axioms equivalent as basic as identity, symmetric and transitive.
for example f(f(x,y),y) + f(x,f(x,y) > .... etc

Regards,
Martin

Last updated: Apr 30 2025 at 08:27 UTC