Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#3
simplify {r;1} as {r}
Apparently we do not have the following simplification rules for SERE
{r;1} = {r}
!{r;1} = !{r}