Left size $3$, right size $3$: no such EML tree evaluates to $2$ · Prove2Me

P

Initializing...

Left size $3$, right size $3$: no such EML tree evaluates to $2$ · Prove2Me