P
Initializing...
Adding a missing adjacency strictly increases the finite edge count · Prove2Me