Counterexample structure (f) — A congruence class that relates a failing point z to q(z) has at least 4 elements

Initializing...

Counterexample structure (f) — A congruence class that relates a failing point z to q(z) has at least 4 elements · Prove2Me