P
Initializing...
Edge-set maximality implies graph equality · Prove2Me