HomeIsabelle/Phabricator

added more simplification rules involving Zero

Description

added more simplification rules involving Zero

Details