added more simplification rules involving Zero
Description
Description
Details
Details
- Provenance
Christian Urban <christian.urban@kcl.ac.uk> Authored on - Parents
- rAFPb5968e0969d7: adapted to Isabelle/4a174bea55e2;
- Branches
- Unknown
- Tags
added more simplification rules involving Zero Tags None Subscribers None
Description
Details
|