Theorem SimpleGraph.mk'_mem_incidenceSet_iff

Modification history