added another simplification rule when alternatives are equal
Description
Description
Details
Details
- Provenance
Christian Urban <christian.urban@kcl.ac.uk> Authored on - Parents
- rAFPf0dfd9de026b: added more simplification rules involving Zero
- Branches
- Unknown
- Tags