In the terminal state `single a 1`, every ideal of the state set has algebra type `{(a, 1)}`.

Initializing...

In the terminal state `single a 1`, every ideal of the state set has algebra type `{(a, 1)}`. · Prove2Me