Counterexample structure (b) — A minimum counterexample with a non-universal congruence relating z and q(z) has at least 24 elements

Initializing...

Counterexample structure (b) — A minimum counterexample with a non-universal congruence relating z and q(z) has at least 24 elements · Prove2Me