Theorem SimpleGraph.dartOfNeighborSet_injective

Modification history