P
Initializing...
Graph equality from inclusion and adjacent-pair count · Prove2Me