Counterexample structure (j) — If the quotient by a non-universal congruence relating z and q(z) has no idempotent, a minimum counterexample has at least 40 elements (conditional on small-order facts)

Initializing...

Counterexample structure (j) — If the quotient by a non-universal congruence relating z and q(z) has no idempotent, a minimum counterexample has at least 40 elements (conditional on small-order facts) · Prove2Me