Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] how to search axiom for graph

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

From: Mandy Martin <tesleft@hotmail.com>
Hi ,
Is function's injective and surjective an instance in graph?
what are the generalized version in graph and is there exist a function liked thing which using graph to do calculation?
Regards,
Martin

Last updated: Feb 01 2025 at 20:19 UTC