HomeIsabelle/Phabricator

more precise simpset for method unat_arith