P
Initializing...
Equal edge counts force equality under graph inclusion · Prove2Me