Theorem SimpleGraph.edgeFinset_subset_edgeFinset

Modification history