Counterexample structure (l) — In a product of two magmas with at least two elements each, no point where E255 fails has the congruence property 3 of (k)

Initializing...

Counterexample structure (l) — In a product of two magmas with at least two elements each, no point where E255 fails has the congruence property 3 of (k) · Prove2Me