P
Initializing...
Proposition 3.7.1 (degree via Prüfer occurrence count) · Prove2Me