Theorem SimpleGraph.disjoint_image_val_universalVerts

Modification history