applies f to each side of the equation or inequality rel.
- The relations rel can have any of the following forms:
lhs==rhs equations lhs!=rhs inequations lhs>rhs or lhs>=rhs inequalities ab>c≥… generalized inequalities
- ApplySides does not verify that inequalities are still valid after function application.
Introduced in 2018