Counterexample structure (h) — A minimum counterexample with a non-universal congruence relating z and q(z) has at least 35 elements (conditional on small-order facts)

Initializing...

Counterexample structure (h) — A minimum counterexample with a non-universal congruence relating z and q(z) has at least 35 elements (conditional on small-order facts) · Prove2Me