P
Initializing...
Edge count is monotone under graph inclusion · Prove2Me