Counterexample structure (m) — A minimum counterexample has no abelian congruence other than equality

Initializing...

Counterexample structure (m) — A minimum counterexample has no abelian congruence other than equality · Prove2Me