P

Initializing...

Theorem 2.2, p. 11 — acyclic orders with equal symmetric parts are joined by finitely many one-step perturbations · Prove2Me