Email Gateway (Aug 22 2022 at 11:05): Email Gateway (Aug 22 2022 at 11:05):From: Mandy Martin <tesleft@hotmail.com>
Hi
injective and surjective for function, what are the basic relationship in graphs? how to search them in Isabelle?
and how to search graph axioms for graph?
would like to find and visualize some relationships in graphs which express in graph but not easily to think and understand's concept.
Regards,
Martin
Last updated: Feb 01 2025 at 20:19 UTC