Exact safety criterion for $(0,1)$ extended by one even target $t\equiv0\pmod 4$: reflection closure

Initializing...

Exact safety criterion for $(0,1)$ extended by one even target $t\equiv0\pmod 4$: reflection closure · Prove2Me