gprop
Results
1
comments of
gprop
How would one define S1 using the new rewrite rules?