P
Initializing...
Edge count is monotone under simple-graph containment · Prove2Me